Ordinal diagrams for recursively Mahlo universes, Archive for Mathematical Logic 39 (2000)

by T Arai