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

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

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

(8)

• scientific article; zbMATH DE number 5910684 (Why is no real title available?)
• Group testing -- separation systems.
• Reconsidering pairs and functions as sets
• Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
• scientific article; zbMATH DE number 5037239 (Why is no real title available?)
• Univalent foundations as structuralist foundations
• Sets and descent
• Comparing material and structural set theories

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)