Monotone inductive definitions in explicit mathematics

DOI10.2307/2275601MaRDI QIDQ4879904zbMATH OpenOpenAlexFDO

Authors 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

explicit mathematicsmonotone inductive definitionsproof-theoretic strength

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1870425
• Explicit mathematics with the monotone fixed point principle
• On the proof-theoretic strength of monotone induction in explicit mathematics

Cites work

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

Cited in

(15)

• Monotone inductive definitions in a constructive theory of functions and classes
• On the proof-theoretic strength of monotone induction in 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 Operational Perspective: Three Routes
• Explicit mathematics with the monotone fixed point principle
• 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 1841846 (Why is no real title available?)
• scientific article; zbMATH DE number 1870425 (Why is no real title available?)
• On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
• Monotone recursive definition of predicates and its realizability interpretation
• The operational penumbra: some ontological aspects
• Proof theory of constructive systems: inductive types and univalence
• On the intuitionistic strength of monotone inductive definitions
• Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms

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

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