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 33663
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.
11
votes
Understanding Specker's disproof of the axiom of choice in New Foundations
``Work in NF, and assume the axiom of choice. Then we can prove that in general, the cardinality of a set A has greater or equal cardinality than the set of singletons drawn from A.''
I doubt this ve …
- 601
9
votes
Understanding Specker's disproof of the axiom of choice in New Foundations
Beware! Even in versions of NF that allow choice (one thinks of NFU) it is not the case that every wellordering is iso to an initial segment of the ordinals, and certainly not to a von Neumann ordinal …
- 601
19
votes
How much of ZFC does Quine's New Foundations prove?
One twist one can give to the question is to reformulate it as: which axioms of ZF(C) does NF prove to hold in the wellfounded sets?
We know the following: extensionality, pairing, sumset, power set, …
- 601
7
votes
Constructible models of New Foundations?
You can't do it for NF, but there is a good notion of constructible model of the theory CUS of Church, that has a universal set. But that's really just a trick of the light, since the big sets of CU …
- 601