We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Towards an untyped proof of Con(NF)

Abstract: The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful many axioms that are completely untyped and framed in the usual language of set theory, and proven to be equivalent to NF. Here, it'll be shown that if we assume the consistency of ZF plus an automorphism and an external bijection with suitable internalization of subsets of its domain and codomain, then NF would be interpreted in this system using a modification of Boffa construction models.
Comments: 6 pages
Subjects: Logic (math.LO)
Cite as: arXiv:2107.11888 [math.LO]
  (or arXiv:2107.11888v1 [math.LO] for this version)

Submission history

From: Zuhair Al-Johar Dr. [view email]
[v1] Fri, 16 Jul 2021 17:03:24 GMT (5kb)

Link back to: arXiv, form interface, contact.