Jensen's model (NFU)

GPTKB entity

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
https://www.w3.org/2000/01/rdf-schema#label Jensen's model (NFU)
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 set-theoretic model
gptkbp:usedIn foundations of mathematics
gptkbp:bfsParent gptkb:Quine's_set_theory
gptkbp:bfsLayer 6