Pages that link to "Item:Q5718693"
From MaRDI portal
The following pages link to Algebraic set theory and the effective topos (Q5718693):
Displaying 7 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Models of intuitionistic set theory in subtoposes of nested realizability toposes (Q2344624) (← links)
- CZF and second order arithmetic (Q2498896) (← links)
