Extending the system T0 of explicit mathematics: the limit and Mahlo axioms (2002)

by Gerhard Jäger, Thomas Studer
Venue:26] Gerhard Jäger and Rico Zumbrunnen. About the strength of operational regularity. In