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: On Russell typicality in Set Theory

Abstract: By Tzouvaras, 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. Several questions about the nature of such sets, recently proposed by Tzouvaras, are solved in this paper. In particular, a model of ZFC is presented in which HOD$\subsetneqq$HNT$\subsetneqq$V, and another model of ZFC, in which HNT does not satisfy the axiom of choice.
Subjects: Logic (math.LO)
MSC classes: Primary 03E35, secondary 03E15
Cite as: arXiv:2111.07654 [math.LO]
  (or arXiv:2111.07654v1 [math.LO] for this version)

Submission history

From: Vladimir Kanovei [view email]
[v1] Mon, 15 Nov 2021 10:24:08 GMT (26kb)

Link back to: arXiv, form interface, contact.