Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie.
Schlußweisen-Kalküle der Prädikatenlogik
Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
Ein widerspruchsloses System der Analysis auf typenfreier Grundlage.
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.
Ein System des verknüpfenden Schliessens.
Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.
Eine Bemerkung über quasirekursive Funktionen.
Ein konstruktives System von Ordinalzahlen.
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.
Ein konstruktives System von Ordinalzahlen. II.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
A characterization of Takeuti's ordinal diagrams of finite order.
Non-Uniqueness at ... in Kleene's O.
Page 1