Pages that link to "Item:Q1407579"
From MaRDI portal
The following pages link to Realizing Mahlo set theory in type theory (Q1407579):
Displaying 6 items.
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Extending Martin-Löf type theory by one Mahlo-universe (Q1568707) (← links)
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- (Q4246943) (← links)