Title of article
Extending the system T0 of explicit mathematics: the limit and Mahlo axioms Original Research Article
Author/Authors
Gerhard J?ger، نويسنده , , Thomas Studer، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
23
From page
79
To page
101
Abstract
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.
Keywords
Proof theory , Explicit mathematics , Limit and Mahlo axioms
Journal title
Annals of Pure and Applied Logic
Serial Year
2002
Journal title
Annals of Pure and Applied Logic
Record number
889835
Link To Document