An extended predicative definition of the Mahlo universe

Authors

Reinhard Kahle, Ralf Schindler, Anton Setzer,