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.

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

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744622

Mathematical Reviews number (MathSciNet)
MR1312307

Zentralblatt MATH identifier
0816.03024

JSTOR
links.jstor.org

Citation

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


Export citation