Ordinal diagrams for recursively Mahlo universes (2000)

by T Arai
Venue:Arch. Math. Logic