Gerhard Jäger Thomas Studer Extending the system T<sub>0</sub> of explicit mathematics: the limit and Mahlo axioms. 79-101 2002 114 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal114.html#JagerS02