Collapsings
Publisher
Springer Singapore
Reference38 articles.
1. Arai, T.: A consistency proof of a system including Feferman’s $${ ID}_{\xi }$$ by Takeuti’s reduction method. Tsukuba J. Math. 11, 227–239 (1987)
2. Arai, T.: A sneak preview of proof theory of ordinals. Ann. Japan Assoc. Phil. Sci. 20, 29–47 (2012)
3. Arai, T.: Conservation of first-order reflections. J. Symb. Logic 79, 814–825 (2014)
4. Arai, T.: Proof-theoretic strengths of weak theories for positive inductive definitions. J. Symb. Logic 83, 1091–1111 (2018)
5. Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. In: Diller, J., Müller, G. H. (eds.) Proof Theory Symposion Keil 1974. Lecture Notes in Mathematics, vol. 500, pp. 4–25. Springer, Berlin (1975)