1. T. Arai, Proof theory for reflecting ordinals II: recursively Mahlo ordinals, handwritten note, 1989.
2. Introduction to finitary analyses of proof figures;Arai,1999
3. Ordinal diagrams for recursively Mahlo universes;Arai;Arch. Math. Logic,2000
4. Admissible Sets and Structures;Barwise,1975
5. A note on the ordinal analysis of KPM;Buchholz,1991