The following pages link to (Q4680361):
Displaying 14 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)
- Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets (Q448334) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Coalgebras in a category of classes (Q876384) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- Comparing material and structural set theories (Q1715477) (← links)
- Explicit algebraic models for constructive and classical theories with non-standard elements (Q1896754) (← links)
- Aspects of predicative algebraic set theory III: sheaves (Q3143444) (← links)
- Set theory in predicate calculus with equality (Q3322073) (← links)
- A Unified Approach to Algebraic Set Theory (Q3656421) (← links)
- Algebraic models of intuitionistic theories of sets and classes (Q5701016) (← links)
