Rethinking set theory

DOI10.4169/AMER.MATH.MONTHLY.121.05.403MaRDI QIDQ2928636zbMATH OpenOpenAlexFDO

Authors Tom Leinster

Publication date 10 November 2014

Published in American Mathematical Monthly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Set theory (03E99) Categories of sets, characterizations (18B05)

Abstract: Mathematicians manipulate sets with confidence almost every day, rarely making mistakes. Few of us, however, could accurately quote what are often referred to as "the" axioms of set theory. This suggests that we all carry around with us, perhaps subconsciously, a reliable body of operating principles for manipulating sets. What if we were to take some of those principles and adopt them as our axioms instead? The message of this article is that this can be done, in a simple, practical way (due to Lawvere). The resulting axioms are ten thoroughly mundane statements about sets. This is an expository article for a general mathematical readership.

Recommendations

• scientific article; zbMATH DE number 5037234
• A tour around set theory
• A taste of set theory for philosophers
• scientific article; zbMATH DE number 647604
• FOUNDATIONS OF A NEW AXIOMATIC SET THEORY

Cited in

(10)

• Univalent foundations as structuralist foundations
• Comparing material and structural set theories
• Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
• Reconsidering pairs and functions as sets
• scientific article; zbMATH DE number 5910684 (Why is no real title available?)
• Sets and descent
• scientific article; zbMATH DE number 5037239 (Why is no real title available?)
• Group testing -- separation systems.
• Changing the logic without changing the subject: the case of computability
• The elementary theory of the 2-category of small categories

This page was built for publication: Rethinking set theory

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