Explicit mathematics with the monotone fixed point principle

DOI10.2307/2586846MaRDI QIDQ4212918zbMATH OpenOpenAlexFDO

Authors Michael Rathjen

Publication date 16 May 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586846

zbMATH Keywords

explicit mathematicsmonotone fixed point principleproof-theoretic reducibility

Mathematics Subject Classification ID

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

Recommendations

• Monotone inductive definitions in explicit mathematics
• Explicit mathematics with the monotone fixed point principle. II: Models
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
• On the proof-theoretic strength of monotone induction in explicit mathematics
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
• Universes in explicit mathematics
• scientific article; zbMATH DE number 1870425
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)

Cites work

• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Monotone inductive definitions in a constructive theory of functions and classes
• On the proof-theoretic strength of monotone induction in explicit mathematics
• Recursion in Kolmogorov's R-operator and the ordinal σ₃
• The Shoenfield absoluteness lemma
• The syntax and semantics of infinitary languages

Cited in

(11)

• Monotone inductive definitions in a constructive theory of functions and classes
• Systems of explicit mathematics with non-constructive \(\mu\)-operator. I
• A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
• Explicit mathematics with the monotone fixed point principle. II: Models
• ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
• scientific article; zbMATH DE number 1870425 (Why is no real title available?)
• Monotone inductive definitions in explicit mathematics
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
• The operational penumbra: some ontological aspects
• Proof theory of constructive systems: inductive types and univalence
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4212918)