Pages that link to "Item:Q534701"

The following pages link to Aspects of predicative algebraic set theory. II: Realizability (Q534701):

Displaying 15 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)
• Inductive types and exact completion (Q556819) (← 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)
• Are there enough injective sets? (Q2377052) (← links)
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates (Q2403574) (← links)
• The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
• On Tarski’s fixed point theorem (Q2944797) (← links)
• Aspects of predicative algebraic set theory III: sheaves (Q3143444) (← links)
• On some peculiar aspects of the constructive theory of point-free spaces (Q3583800) (← links)
• Realizability algebras III: some examples (Q4599612) (← links)
• (Q4680361) (← links)
• A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)