Pages that link to "Item:Q4879904"
From MaRDI portal
The following pages link to Monotone inductive definitions in explicit mathematics (Q4879904):
Displaying 13 items.
- Monotone inductive definitions in a constructive theory of functions and classes (Q1115865) (← links)
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Explicit mathematics with the monotone fixed point principle (Q4212918) (← links)
- Explicit mathematics with the monotone fixed point principle. II: Models (Q4262568) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- (Q4783334) (← links)
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
- Monotone recursive definition of predicates and its realizability interpretation (Q5096211) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)
