Monotone inductive definitions in explicit mathematics

DOI10.2307/2275601zbMATH Open0851.03018OpenAlexW2061531854MaRDI QIDQ4879904FDOQ4879904

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

proof-theoretic strengthexplicit mathematicsmonotone inductive definitions

Mathematics Subject Classification ID

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

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)

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

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)