Pages that link to "Item:Q5957856"

The following pages link to Type theories, toposes and constructive set theory: Predicative aspects of AST (Q5957856):

Displaying 29 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)
• Inductive types and exact completion (Q556819) (← links)
• Proof-relevance of families of setoids and identity in type theory (Q661282) (← links)
• Partial Horn logic and Cartesian categories (Q866572) (← links)
• Non-well-founded trees in categories (Q876383) (← 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)
• A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
• Wellfounded trees in categories (Q1577483) (← links)
• Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
• Regular universes and formal spaces (Q2575774) (← links)
• The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
• Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
• A Brief Introduction to Algebraic Set Theory (Q3616432) (← links)
• Three extensional models of type theory (Q3625679) (← links)
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
• (Q5094144) (← links)
• ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)
• Type Theory and Homotopy (Q5253928) (← links)
• The challenge of computer mathematics (Q5301849) (← links)
• The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
• Algebraic set theory and the effective topos (Q5718693) (← links)
• W-types in homotopy type theory (Q5740651) (← links)
• Dependent products and 1-inaccessible universes (Q5854448) (← links)