The associated sheaf functor theorem in algebraic set theory
From MaRDI portal
Publication:958487
DOI10.1016/j.apal.2008.06.008zbMath1159.03046OpenAlexW2062722679WikidataQ61834701 ScholiaQ61834701MaRDI QIDQ958487
Publication date: 5 December 2008
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: http://eprints.whiterose.ac.uk/113165/1/associated-sheaf.pdf
Categorical logic, topoi (03G30) Nonclassical and second-order set theories (03E70) Categorical semantics of formal languages (18C50) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
Aspects of predicative algebraic set theory. I: Exact completion ⋮ Lawvere–Tierney sheaves in Algebraic Set Theory
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relating first-order set theories, toposes and categories of classes
- Harvey Friedman's research on the foundations of mathematics
- Sheaf models for set theory
- Sheaves in geometry and logic: a first introduction to topos theory
- A completeness theorem for open maps
- Completeness results for intuitionistic and modal logic in a categorical setting
- Wellfounded trees in categories
- Independence results around constructive ZF
- The associated sheaf functor in an elementary topos
- Aspects of general topology in constructive set theory
- Heyting-valued interpretations for constructive set theory
- Regular universes and formal spaces
- A Unified Approach to Algebraic Set Theory
- Forcing in intuitionistic systems without power-set
- Freyd’s models for the independence of the axiom of choice
- On the regular extension axiom and its variants
- The generalised type-theoretic interpretation of constructive set theory
- Aspects of topoi
- Algebraic set theory and the effective topos
- The axiom of choice
- Type theories, toposes and constructive set theory: Predicative aspects of AST
