Comparing material and structural set theories
From MaRDI portal
Publication:1715477
DOI10.1016/j.apal.2018.11.002zbMath1412.18004arXiv1808.05204OpenAlexW2885593258WikidataQ128882458 ScholiaQ128882458MaRDI QIDQ1715477
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
Categorical logic, topoi (03G30) Topoi (18B25) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Categories of sets, characterizations (18B05)
Related Items (1)
Cites Work
- 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
- 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
This page was built for publication: Comparing material and structural set theories
