Extending the system T0 of explicit mathematics: the limit and Mahlo axioms Original Research Article

In this paper we discuss extensions of Fefermanʹs theory View the MathML source for explicit mathematics by the so-called limit and Mahlo axioms and present a novel approach to constructing natural recursion-theoretic models for (fairly strong) systems of explicit mathematics which is based on nonmonotone inductive definitions.