Ein Bezeichnungssystem für Ordinalzahlen. Helmut Pfeiffer (1970) Archiv für mathematische Logik und Grundlagenforschung
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen. K. Schütte, S.G. Simpson (1985) Archiv für mathematische Logik und Grundlagenforschung
Eine Variante des Ordinalzahlbezeichnungssystems ... . H. Vogel (1982) Archiv für mathematische Logik und Grundlagenforschung
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung. Kurt Schütte (1975) Archiv für mathematische Logik und Grundlagenforschung