The following pages link to (Q4381421):
Displaying 5 items.
- Inaccessibility in constructive set theory and type theory (Q1295396) (← links)
- Independence results around constructive ZF (Q1765158) (← links)
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- CZF and second order arithmetic (Q2498896) (← links)
