Solomon Feferman. Systems of predicative analysis, II: representations of ordinals. The journal of symbolic logic, vol. 33 (1968), pp. 193–220. - Peter Aczel. Describing ordinals using functional of transfinite type. The journal of symbolic logic, vol. 37 (1972), pp. 35–47. - Jane Bridge. A simplification of the Bachmann method for generating large countable ordinals. The journal of symbolic logic, vol. 40 (1975), pp. 171–185. - W. Buchholz. Normalfunktionen und konstruktive Systeme von Ordinalzahlen. ISILC proof theory symposion, Dedicated to Kurt Schütte on the occasion of his 65th birthday, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by J. Diller and G. H. Müller, Lecture notes in mathematics, vol. 500, Springer-Verlag, Berlin, Heidelberg, and New York1975, pp. 4–25. - Wilfried Buchholz. Über Teilsysteme von . Archiv für mathematische Logik und Grundlagenforschung, vol. 18 no. 1–2 (1976), pp. 85–98. - Wilfried Buchholz and Kurt Schütte. Die Beziehungen zwischen den Ordinalzahlsystemen Σ und . Archiv für mathematische Logik und Grundlagenforschung, vol. 17 no. 3–4 (1976), pp. 179–189.
Helmut Pfeiffer · Journal of Symbolic Logic · 1983
Solomon Feferman. Systems of predicative analysis, II: representations of ordinals. The journal of symbolic logic, vol. 33 (1968), pp. 193–220. - Peter Aczel. Describing ordinals using functional of transfinite type. The journal of symbolic logic, vol. 37 (1972), pp. 35–47. - Jane Bridge. A simplification of the Bachmann method for generating large countable ordinals. The journal of symbolic logic, vol. 40 (1975), pp. 171–185. - W. Buchholz. Normalfunktionen und konstruktive Systeme von Ordinalzahlen. ISILC proof theory symposion, Dedicated to Kurt Schütte on the occasion of his 65th birthday, Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974, edited by J. Diller and G. H. Müller, Lecture notes in mathematics, vol. 500, Springer-Verlag, Berlin, Heidelberg, and New York1975, pp. 4–25. - Wilfried Buchholz. Über Teilsysteme von . Archiv für mathematische Logik und Grundlagenforschung, vol. 18 no. 1–2 (1976), pp. 85–98. - Wilfried Buchholz and Kurt Schütte. Die Beziehungen zwischen den Ordinalzahlsystemen Σ und . Archiv für mathematische Logik und Grundlagenforschung, vol. 17 no. 3–4 (1976), pp. 179–189. - Volume 48 Issue 3