arXiv:1503.01406 [math.LO]AbstractReferencesReviewsResources NF is Consistent M. Randall Holmes Published 2015-03-04Version 1 This is a draft of my claimed proof that Quine's set theory New Foundations is consistent. Comments: The latest version of this document is always visible on my home page math.boisestate.edu/~holmes and it will be updated there more often then here Categories: math.LO Keywords: consistent, quines set theory, claimed proof Related articles: Most relevant | Search more arXiv:math/9211213 [math.LO] (Published 1992-11-15, updated 2019-07-24) Baire property and Axiom of Choice Haim Judah, Saharon Shelah arXiv:math/0004127 [math.LO] (Published 2000-04-19, updated 2000-04-26) On perfectly meager sets Tomek Bartoszynski arXiv:math/9905115 [math.LO] (Published 1999-05-19) Splitting number Tomek Bartoszynski Links Abstract on arXiv.org View preprint PDF Download TeX source Export citation in BibTeX Save eprint metadata as JSON Toolbox Post your review for this article Attach supplementary resources Edit our extended metadata Share this article on social media FacebookGoogle+LinkedInRedditTwitterVK Scan the QR code for this page
![QR code for arXiv:1503.01406 [math.LO]](http://oss.arxitics.com/images/favicon.svg)