REVIEW 1 cited by
Rethinking set theory
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original 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.
Forward citations
Cited by 1 Pith paper
-
On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory
Surreal numbers can be presented as sets of ordinals with a maximal 'birthday' element, giving a set-theoretic foundation equivalent to Gonshor's sign expansions and Conway's games.
Discussion (0). Continue with ORCID to comment.