Explicit mathematics with the monotone fixed point principle. II: Models

DOI10.2307/2586483zbMath0930.03093OpenAlexW2121715826MaRDI QIDQ4262568

Michael Rathjen

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

zbMATH Keywords

constructive mathematicsexplicit mathematicsset-theoretic modelsgeneralized recursion theoryextensions of Kripke-Platek set theoryfragments of second-order arithmeticmonotone fixed point principle\({\boldsymbol\Pi}^1_2\) comprehension

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)

Related Items (10)

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

• Monotone inductive definitions in explicit mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Explicit mathematics with the monotone fixed point principle. II: Models