A definable E₀ class containing no definable elements
It is a well known fact that the following statement is consistent with ZFC: there is a non-empty ordinal definable (OD) set of reals containing no OD element. The problem of considering countable (ordinal) definable sets was raised in discussions in MathOverflow and FOM. In a previous work of the authors [``A countable definable set of reals containing no definable elements, Preprint, \url{arXiv:1408.3901}], it is shown that in a \({\mathbb P}^{<\omega}\)-generic extension of \(L\), the set of all \({\mathbb P}\)-generic reals (over \(L\)) is a countable \(\Pi^1_2\)-set of reals with no OD elements, which improves a result of \textit{A. Enayat} [Fundam. Math. 181, No. 3, 215--231 (2004; Zbl 1051.03041)]. Here, \({\mathbb P}\) is Jensen's ``minimal \(\Pi^1_2\)-real singleton forcing. This result is optimal in that every non-empty \(\Sigma^1_2\)-set of reals contains a \(\Delta^1_2\)-element. This article provides another example with an addition feature that the countable \(\Pi^1_2\) is a \(E_0\)-equivalence class. Based on a Zapletal model of ZFC, in which there is an OD \(E_0\)-class containing no OD elements, the authors produced a generic extension \(L[x]\) of \(L\), via a variation of the aforementioned \({\mathbb P}\) which replaces Sacks forcing by Silver forcing, such that \([x]_{E_0}\) is \(\Pi^1_2\) but contains no OD elements. In contrast to this forcing method, \textit{A. Kechris} and \textit{W. Woodin} [``On thin \(\Pi^1_2\) sets, handwritten note] showed that, under large cardinal axioms, in particular assuming sharps, every countable non-empty \(\Pi^1_2\)-set of reals necessarily contains an OD element.
- A countable definable set containing no definable elements
- A Glimm-Effros Dichotomy for Borel Equivalence Relations
- Borel equivalence relations. Structure and classification
- Canonical Ramsey theory on Polish spaces
- Finite groups of OD-conjugates
- scientific article; zbMATH DE number 3387344 (Why is no real title available?)
- On the Leibniz–Mycielski axiom in set theory
- The Π 1 2 -Singleton Conjecture
- Countable OD sets of reals belong to the ground model
- Definable elements of definable Borel sets
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
- The full basis theorem does not imply analytic wellordering
- scientific article; zbMATH DE number 3916259 (Why is no real title available?)
- Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
- Borel OD sets of reals are OD-Borel in some simple models
- Ordinal definability and combinatorics of equivalence relations
- Models of set theory in which the separation theorem fails
- A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes
- When does every definable nonempty set have a definable element?
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
- Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
- On Russell typicality in set theory
- A countable definable set containing no definable elements
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
This page was built for publication: A definable \(E_0\) class containing no definable elements
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494659)
