Relating First-Order Set Theories and Elementary Toposes

DOI10.2178/BSL/1186666150MaRDI QIDQ3533518zbMATH OpenOpenAlexFDO

Authors Carsten Butz, Thomas Streicher, Steve Awodey, Alex Simpson

Publication date 23 October 2008

Published in The 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 toposfirst-order set theoryintuitionistic set theory

Mathematics Subject Classification ID

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

Recommendations

• Relating first-order set theories, toposes and categories of classes
• La logique des topos
• Comparing material and structural set theories
• Toposes and intuitionistic theories of types
• scientific article; zbMATH DE number 4204629

Cites work

• Bernays-Gödel type theory
• Computational adequacy for recursive types in models of intuitionistic set theory
• Constructive set theory
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Set theoretic foundations for constructive analysis
• Sheaf models for set theory
• The strength of Mac Lane set theory

Cited in

(12)

• Comparing material and structural set theories
• scientific article; zbMATH DE number 5015960 (Why is no real title available?)
• Forcing for IZF in sheaf toposes
• Relating first-order set theories, toposes and categories of classes
• scientific article; zbMATH DE number 3557735 (Why is no real title available?)
• Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
• On the distinction between sets and classes: a categorical perspective
• An invitation to topological structures on first order genuine sets
• Nonstandard proof methods in toposes
• Relativized Grothendieck topoi
• The strength of extensionality. II: Weak weak set theories without infinity
• Aspects of predicative algebraic set theory. I: Exact completion

This page was built for publication: Relating First-Order Set Theories and Elementary Toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3533518)