The following pages link to (Q3081636):
Displaying 5 items.
- Predicativity and constructive mathematics (Q2080590) (← links)
- Classical System of Martin-Löf’s Inductive Definitions Is Not Equivalent to Cyclic Proof System (Q2988375) (← links)
- Addressing Circular Definitions via Systems of Proofs (Q3305628) (← links)
- Tiered Arithmetics (Q5214784) (← links)
- Proof Theory of Constructive Systems: Inductive Types and Univalence (Q5214792) (← links)