1. B. Afshari, M. Rathjen, Reverse mathematics and well-ordering principles: A pilot study. Ann. Pure Appl. Logic 160, 231–237 (2009)
2. J. Barwise, Admissible Sets and Structures (Springer, Berlin, 1975)
3. W. Buchholz, K. Schütte, Proof Theory of Impredicative Subsystems of Analysis (Bibliopolis, Napoli, 1988)
4. H. Friedman, A. Montalban, A. Weiermann, Phi Function, draft (2007)
5. G. Gentzen, in The Collected Papers of Gerhard Gentzen. Translated and ed. by M.E. Szabo (North-Holland, Amsterdam, 1969)