Explicit mathematics with the monotone fixed point principle. II: Models
From MaRDI portal
Publication:4262568
DOI10.2307/2586483zbMath0930.03093OpenAlexW2121715826MaRDI QIDQ4262568
Publication date: 10 February 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586483
constructive mathematicsexplicit mathematicsset-theoretic modelsgeneralized recursion theoryextensions of Kripke-Platek set theoryfragments of second-order arithmeticmonotone fixed point principle\({\boldsymbol\Pi}^1_2\) comprehension
Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items
On the intuitionistic strength of monotone inductive definitions, ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS, Operational closure and stability, An ordinal analysis of stability, An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension, The Operational Penumbra: Some Ontological Aspects, Proof Theory of Constructive Systems: Inductive Types and Univalence, On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics, A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\), The constructive Hilbert program and the limits of Martin-Löf type theory
Cites Work