New Foundations with Urelements
GPTKB entity
Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:set_theory
|
gptkbp:abbreviation |
gptkb:NFU
|
gptkbp:basedOn |
gptkb:New_Foundations
|
gptkbp:category |
gptkb:logic
gptkb:set_theory |
gptkbp:consistencyRelativeTo |
gptkb:Peano_arithmetic
|
gptkbp:creator |
gptkb:Ronald_Jensen
|
gptkbp:feature |
allows urelements
|
gptkbp:firstPublished |
1969
|
gptkbp:hasModel |
gptkb:Jensen's_model
|
https://www.w3.org/2000/01/rdf-schema#label |
New Foundations with Urelements
|
gptkbp:notableFor |
relative consistency proof
|
gptkbp:relatedTo |
gptkb:Quine's_New_Foundations
|
gptkbp:bfsParent |
gptkb:New_Foundations_set_theory
|
gptkbp:bfsLayer |
6
|