A partial model of NF with ZF

The theory New Foundations (NF) of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystem...

Full description

Saved in:
Bibliographic Details
Published in:Mathematical logic quarterly 1993, Vol.39 (1), p.274-278
Main Author: Prati, Nando
Format: Article
Language:English
Subjects:
Finite axiomatizations
New Foundations
Stratifiable formulas
Zermelo-Fraenkel set theory
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The theory New Foundations (NF) of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in [11] it is shown that the existence of some sets which appear naturally in ZF is an axiom independent from NF (see also [12]). Here we discuss a model of subsystems of NF in which there is a set which is a model of ZF. MSC: 03E70.
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.19930390132