Proof theory for theories of ordinals I: recursively Mahlo ordinals, Annals of Pure and applied Logic 122 (2003)

by T Arai