NF is Consistent
From MaRDI portal
Publication:6259657
arXiv1503.01406MaRDI QIDQ6259657FDOQ6259657
Authors: M. Randall Holmes, Sky Wilshaw 
Publication date: 4 March 2015
Abstract: In this paper we will present a proof of the consistency of Quine's set theory "New Foundations" (hereinafter NF), so-called after the title of the 1937 paper in which it was introduced. This version takes the approach of building a model of tangled type theory rather than a model of the usual set theory without choice with a tangled web of cardinals.
This page was built for publication: NF is Consistent
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6259657)
