1. P. Aczel, A new approach to the Bachmann method for describing large countable ordinals. Unpublished notes (1970)
2. P. Aczel, The strength of Martin-Löf’s intuitionistic type theory with one universe. Unpublished notes (1976)
3. B. Afshari, M. Rathjen, A note on the theory of positive induction, ID
1
∗. Arch. Math. Log. 49(2), 275–281 (2010)
4. W. Buchholz, Normalfunktionen und konstruktive Systeme von Ordinalzahlen, in Proof Theory Symposion Kiel 1974, ed. by J. Diller, G.H. Müller. Lecture Notes in Mathematics, vol. 500 (Springer, Berlin, 1975), pp. 4–25
5. W. Buchholz, A simplified version of local predicativity, in Proof Theory, ed. by P. Aczel, H. Simmons, S.S. Wainer (Cambridge University Press, New York, 1992), pp. 115–147