Ordinal notations based on a weakly Mahlo cardinal (1990)

by M Rathjen
Venue:Arch. Math. Logic