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

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

• Type: Journal
• Year: 2002
• Where: APAL
• Authors: Gerhard Jäger, Thomas Studer
• Keywords: APAL 2002, Explicit Mathematics, Mahlo Axioms, Natural Recusion-theoretic Models