1. T. Arai, A system (O(π
n
), < ) of ordinal diagrams. Handwritten note (1994)
2. T. Arai, Proof theory for reflecting ordinals IV:
$$\Pi _{N}$$
-reflecting ordinals. Handwritten note (1994)
3. T. Arai, Proof theory for theories of ordinals I: recursively Mahlo ordinals. Ann. Pure Appl. Log. 122, 1–85 (2003)
4. T. Arai, Proof theory for theories of ordinals II:
$$\Pi _{3}$$
-reflection. Ann. Pure Appl. Log. 129, 39–92 (2004)
5. T. Arai, Iterating the recursively Mahlo operations, in Proceedings of the Thirteenth International Congress of Logic Methodology, Philosophy of Science, ed. by C. Glymour, W. Wei, D. Westerstahl (College Publications, London, 2009), pp. 21–35