Monotone inductive definitions in explicit mathematics

DOI10.2307/2275601zbMath0851.03018OpenAlexW2061531854MaRDI QIDQ4879904

Michael Rathjen

Publication date: 4 November 1996

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

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

zbMATH Keywords

proof-theoretic strengthexplicit mathematicsmonotone inductive definitions

Mathematics Subject Classification ID

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

Related Items (8)

Explicit mathematics with the monotone fixed point principle. II: Models ⋮ On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ The Operational Perspective: Three Routes ⋮ 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\)

Cites Work

• Proof-theoretic analysis of KPM
• The strength of some Martin-Löf type theories
• On monotone vs. nonmonotone induction

This page was built for publication: Monotone inductive definitions in explicit mathematics