Pages that link to "Item:Q3143444"

The following pages link to Aspects of predicative algebraic set theory III: sheaves (Q3143444):

Displaying 11 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. II: Realizability (Q534701) (← links)
• The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
• Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
• Covariant isotropy of Grothendieck toposes and extensive categories (Q2156420) (← links)
• The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
• Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
• A Unified Approach to Algebraic Set Theory (Q3656421) (← links)
• Algebraic models of intuitionistic theories of sets and classes (Q5701016) (← links)