1. Arithmetical algorithms for elementary patterns;Alexander;Arch. Math. Log.,2015
2. Transfinite Zahlen;Bachmann,1955
3. Admissible Sets and Structures;Barwise,1975
4. A simplification of the Bachmann method for generating large countable ordinals;Bridge;J. Symb. Log.,1975
5. Normalfunktionen und konstruktive Systeme von Ordinalzahlen;Buchholz,1975