The following pages link to (Q3039340):
Displaying 9 items.
- Fragments of arithmetic (Q762484) (← links)
- 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)
- Understanding uniformity in Feferman's explicit mathematics (Q1899146) (← links)
- Second order theories with ordinals and elementary comprehension (Q1908814) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
- The Operational Penumbra: Some Ontological Aspects (Q5214788) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)