Rethinking set theory

DOI10.4169/AMER.MATH.MONTHLY.121.05.403zbMATH Open1345.03100arXiv1212.6543OpenAlexW2962810861MaRDI QIDQ2928636FDOQ2928636

Authors: Tom Leinster 

Publication date: 10 November 2014

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

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.

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Group testing -- separation systems.
• Reconsidering pairs and functions as sets
• Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
• Title not available (Why is that?)
• 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)