A characterization of Takeuti's ordinal diagrams of finite order.
A Characterization of the Veblen-Schütte Functions by Means of Functionals
A partition theorem for α-large sets
A well-ordering proof for Feferman's theory To.
An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions.
Beweistheoretische Abgrenzung von Teilsystemen der Analysis.
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
Ein Bezeichnungssystem für Ordinalzahlen.
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.
Eine Variante des Ordinalzahlbezeichnungssystems ... .
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.
Finite presentability of strongly finite dilators
Finite presentability of strongly finite dilators
In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.
...-inaccessible ordinals, collapsing functions and a recursive notation system.
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.
Natural well-orderings.
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Ordinal analysis of bar recursion of type zero
Recursion in total functionals of finite type