Relating First-Order Set Theories and Elementary Toposes

DOI10.2178/bsl/1186666150zbMath1152.03043OpenAlexW2144833073MaRDI QIDQ3533518

Thomas Streicher, Carsten Butz, Alex K. Simpson, Steven Awodey

Publication date: 23 October 2008

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12288963/set_models_announce.pdf

zbMATH Keywords

elementary toposintuitionistic set theoryfirst-order set theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Related Items

Relating first-order set theories, toposes and categories of classes ⋮ Nonstandard proof methods in toposes ⋮ Relativized Grothendieck topoi ⋮ The strength of extensionality. II: Weak weak set theories without infinity ⋮ Comparing material and structural set theories ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Sheaf models for set theory
• Set theoretic foundations for constructive analysis
• Bernays-Gödel type theory
• Computational adequacy for recursive types in models of intuitionistic set theory
• Constructive set theory
• The strength of Mac Lane set theory