Consistency of Quine's New Foundations
arXiv:1406.4060
Abstract
We provide an elementary consistency proof of Quine's New Foundations, by a construction using interated nominal powersets.
arXiv commentCorrected a few typos and added remark on consistency strength