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: A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe

Abstract: A set is nontypical in the Russell sense, if it belongs to a countable ordinal definable set. The class HNT of all hereditarily nontypical sets satisfies all axioms of ZF and the double inclusion HOD $\subseteq$ HNT $\subseteq$ V holds. Solving a problem recently proposed by Tzouvaras, a generic extension L$[a,x]$ of L, by two reals $a,x$, is presented in which L=HOD $\subsetneqq$ L$[a]$=HNT $\subsetneqq$ V=L$[a,x]$, so that HNT is a model of ZFC strictly between HOD and the universe.
Comments: arXiv admin note: substantial text overlap with arXiv:2111.07654
Subjects: Logic (math.LO)
MSC classes: 03E35, 03E15
Cite as: arXiv:2111.13491 [math.LO]
  (or arXiv:2111.13491v1 [math.LO] for this version)

Submission history

From: Vladimir Kanovei [view email]
[v1] Fri, 26 Nov 2021 13:42:01 GMT (24kb)

Link back to: arXiv, form interface, contact.