A Brief Introduction to Algebraic Set Theory
From MaRDI portal
Publication:3616432
DOI10.2178/bsl/1231081369zbMath1222.03056MaRDI QIDQ3616432
Publication date: 25 March 2009
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1231081369
03G30: Categorical logic, topoi
03G25: Other algebras related to logic
03E70: Nonclassical and second-order set theories
03C62: Models of arithmetic and set theory
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Coalgebras in a category of classes
- Classifying topoi and finite forcing
- Sheaf models for set theory
- A completeness theorem for open maps
- Wellfounded trees in categories
- Topos theory and Souslin's hypothesis
- Bernays-Gödel type theory
- Computational adequacy for recursive types in models of intuitionistic set theory
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- Algebraic set theory and the effective topos
- Type theories, toposes and constructive set theory: Predicative aspects of AST