Iterating reflection over intuitionistic arithmetic
In dieser Arbeit werden Iterationen von Konsistenz sowie lokaler und uniformer Reflexion über Heyting-Arithmetik untersucht, wobei ein neuer Beweis für Dragalins Erweiterung von Fefermans Vollständigkeitssatz auf geliefert wird.