Pages that link to "Item:Q1295372"
From MaRDI portal
The following pages link to Well-ordering proofs for Martin-Löf type theory (Q1295372):
Displayed 7 items.
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Realization of analysis into Explicit Mathematics (Q4328839) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms (Q5957853) (← links)