Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with new-foundations
Search options not deleted
user 13530
New Foundations is the axiomatic set theory in Quine's 1937 article "New Foundations for Mathematical Logic"; it simplifies the theory of types of Principia Mathematica.
1
vote
Consistency of the concept of the collection of all collection
Church’s “Set Theory with a Universal Set” (see, e.g., Thomas Forster’s article) has a set of all sets, and Church provides a model (actually an interpretation in ZFGC) for it. He never published the …
- 723
2
votes
Anti-foundational set theory with a universal set
Check out the theory at the end of Vicious Circles by Barwise & Moss, which has the Universal Set U, though the “collection of all sets distinct from U will not be a class.” (p. 308). I crafted some …
- 723
5
votes
How much of ZFC does Quine's New Foundations prove?
While I second (with highly biased motivation) the recommendation of Forster’s book, for questions like this an easier starting point than Forster’s book or Holmes’ articles might be Holmes’ book Elem …
- 723
3
votes
Set theory and alternative foundations
To follow up further on Joel David Hamkins's answer on geometry, Frege’s last work (two despairing decades after Russell’s Paradox demolished his Grundgesetze der Arithmetik) was a brief unpublished p …
- 723
5
votes
Where is the end of universe?
Have a look at Church’s (first) Set Theory with a Universal Set, which is equiconsistent with ZFGC, though Church didn’t publish a full proof, and I think he abandoned the proof in his archives at Pri …
- 723