Publisher
Springer International Publishing
Reference22 articles.
1. T. Arai. Ordinal diagrams for recursively Mahlo universes. Arch. Math. Logic, 39:353–391, 2000.
2. T. Arai. Proof theory for theories of ordinals I: recursively Mahlo ordinals. Ann. Pure Appl. Logic, 122:1–85, 2003.
3. T. Arai. Cut-eliminability in second order calculus. Ann. Japan Asso. Phil. Sci., 27:45–60, 2018.
4. W. Buchholz. Normalfunktionen und konstruktive Systeme von Ordinalzahlen. In J. Diller and G.H Muller, editors, Proof Theory Symposion Kiel, 1974, volume 500 of Lecture Notes in Mathematics, pages 4–25. Springer, Berlin, 1975.
5. W. Buchholz. Eine Erweiterung der Schnitteliminationsmethode. Habilitationsschrift, LMU Munchen, 1977.