Pages that link to "Item:Q5311753"
From MaRDI portal
The following pages link to On the intuitionistic strength of monotone inductive definitions (Q5311753):
Displaying 11 items.
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- Intuitionistic fixed point logic (Q2220485) (← 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)
- Extending constructive operational set theory by impredicative principles (Q3008060) (← links)
- Identification through Inductive Verification (Q3623838) (← links)
- (Q4783334) (← links)
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)
- Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators (Q5311756) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424863) (← links)
- (Q5599795) (← links)