Journal of Symbolic Logic

A Partial Model of $\mathbf{NF}$ with E

N. Prati

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


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.

Article information

J. Symbolic Logic, Volume 59, Issue 4 (1994), 1245-1253.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier



Prati, N. A Partial Model of $\mathbf{NF}$ with E. J. Symbolic Logic 59 (1994), no. 4, 1245--1253.

Export citation