A Partial Model of $\mathbf{NF}$ with E
Prati, N.
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 1245-1253 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Partial models of the theory New Foundations $(\mathbf{NF}$) introduced by Quine have already appeared in the literature, but in every model the membership set of $\mathbf{NF}$ is missing. On the other hand, Jensen showed that "$\mathbf{NF}$ + Urelements" is consistent with respect to $\mathbf{ZF}$ and, in the model built there, the membership set of the theory exists. Here we build a partial model of $\mathbf{NF}$ from the one of Jensen in which the membership set exists.
Publié le : 1994-12-14
Classification:  
@article{1183744622,
     author = {Prati, N.},
     title = {A Partial Model of $\mathbf{NF}$ with E},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 1245-1253},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744622}
}

Prati, N. A Partial Model of $\mathbf{NF}$ with E. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  1245-1253. http://gdmltest.u-ga.fr/item/1183744622/