Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:allows |
universal set
|
| gptkbp:basedOn |
New Foundations (NF)
|
| gptkbp:consistencyProof |
proved by Ronald Jensen
|
| gptkbp:developedBy |
gptkb:Ronald_Jensen
1969 |
| gptkbp:fullName |
Jensen's model of New Foundations with Urelements
|
| gptkbp:includes |
urelements
|
| gptkbp:notableFor |
consistency proof for NFU
permits urelements weaker than ZFC |
| gptkbp:publishedIn |
gptkb:Mathematical_Logic_Quarterly
|
| gptkbp:relatedTo |
gptkb:Zermelo-Fraenkel_set_theory
gptkb:Quine's_New_Foundations |
| gptkbp:type |
gptkb:set-theoretic_model
|
| gptkbp:usedIn |
foundations of mathematics
|
| gptkbp:bfsParent |
gptkb:Quine's_set_theory
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Jensen's model (NFU)
|