Monotone inductive definitions in explicit mathematics
From MaRDI portal
Publication:4879904
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
Recommendations
Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)
Cites Work
Cited In (15)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\)
- Monotone inductive definitions in a constructive theory of functions and classes
- The Operational Perspective: Three Routes
- Proof theory of constructive systems: inductive types and univalence
- Monotone recursive definition of predicates and its realizability interpretation
- The operational penumbra: some ontological aspects
- On the proof-theoretic strength of monotone induction in explicit mathematics
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS
- On the intuitionistic strength of monotone inductive definitions
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics
- Explicit mathematics with the monotone fixed point principle. II: Models
- Explicit mathematics with the monotone fixed point principle
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)
