Pages that link to "Item:Q534701"
From MaRDI portal
The following pages link to Aspects of predicative algebraic set theory. II: Realizability (Q534701):
Displayed 6 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)