1. Transfinite Zahlen;Bachmann,1967
2. Provably computable functions and the fast growing hierarchy;Buchholz,1987
3. On notation for ordinal numbers;Church;J. Symbolic Logic,1983
4. A combinatorial theorem;Erdős;J. London Math. Soc.,1950
5. Systems of predictive analysis;Feferman;J. Symbolic Logic,1964