Extending the System T_0 of explicit mathematics: the limit and Mahlo axioms

by Gerhard Jäger , Thomas Studer
Citations:13 - 8 self