Comparing material and structural set theories

DOI10.1016/j.apal.2018.11.002zbMath1412.18004arXiv1808.05204OpenAlexW2885593258WikidataQ128882458 ScholiaQ128882458MaRDI QIDQ1715477

Michael Shulman

Publication date: 4 February 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.05204

zbMATH Keywords

set theoryelementary topospredicative mathematicspretoposreplacement axiom

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Categories of sets, characterizations (18B05)

Related Items

Nonstandard proof methods in toposes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Categories of Boolean topoi
• Aspects of predicative algebraic set theory. I: Exact completion
• Sheaves in geometry and logic: a first introduction to topos theory
• Categorical set theory: A characterization of the category of sets
• Boolean topoi and the theory of sets
• What is the theory without power set?
• Rethinking Set Theory
• Relating First-Order Set Theories and Elementary Toposes
• Axiom of Choice and Complementation
• Équivalence naturelle et formules logiques en théorie des catégories
• Structure in Mathematics and Logic: A Categorical Perspective
• Exploring Categorical Structuralism
• An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
• Numbers Can Be Just What They Have To
• Models of non-well-founded sets via an indexed final coalgebra theorem
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• The strength of Mac Lane set theory