A Brief Introduction to Algebraic Set Theory

DOI10.2178/bsl/1231081369zbMath1222.03056OpenAlexW2062319438WikidataQ126372009 ScholiaQ126372009MaRDI QIDQ3616432

Steven Awodey

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

zbMATH Keywords

topos theoryalgebraic modelsmodels of set theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

A universal algebraic set theory built on mereology with applications ⋮ Relating first-order set theories, toposes and categories of classes ⋮ CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS ⋮ Unnamed Item ⋮ 2009 North American Annual Meeting of the Association for Symbolic Logic

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