## Journal of Symbolic Logic

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

N. Prati

#### Abstract

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

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

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183744622

Mathematical Reviews number (MathSciNet)
MR1312307

Zentralblatt MATH identifier
0816.03024

JSTOR
Prati, N. A Partial Model of $\mathbf{NF}$ with E. J. Symbolic Logic 59 (1994), no. 4, 1245--1253. https://projecteuclid.org/euclid.jsl/1183744622