Pages that link to "Item:Q3143444"
From MaRDI portal
The following pages link to Aspects of predicative algebraic set theory III: sheaves (Q3143444):
Displaying 6 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Covariant isotropy of Grothendieck toposes and extensive categories (Q2156420) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- A Unified Approach to Algebraic Set Theory (Q3656421) (← links)
