A definable \(E_0\) class containing no definable elements

DOI10.1007/S00153-015-0436-9zbMath1343.03040arXiv1408.6642OpenAlexW803471959MaRDI QIDQ494659

Vassily Lyubetsky, Kanovei, Vladimir

Publication date: 1 September 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1408.6642

zbMATH Keywords

definable elementsdefinable equivalence classJensen reals

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Related Items (13)

On Russell typicality in set theory ⋮ Models of set theory in which the separation theorem fails ⋮ Definable \(\mathsf{E}_0\) classes at arbitrary projective levels ⋮ Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes ⋮ The full basis theorem does not imply analytic wellordering ⋮ A Groszek‐Laver pair of undistinguishable ‐classes ⋮ Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation ⋮ Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy ⋮ DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS ⋮ Countable OD sets of reals belong to the ground model ⋮ Borel OD sets of reals are OD-Borel in some simple models ⋮ Ordinal definability and combinatorics of equivalence relations ⋮ Definable elements of definable Borel sets

Cites Work

• Unnamed Item
• Unnamed Item
• A countable definable set containing no definable elements
• Finite groups of OD-conjugates
• Canonical Ramsey Theory on Polish Spaces
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• On the Leibniz–Mycielski axiom in set theory
• The Π 1 2 -Singleton Conjecture

This page was built for publication: A definable \(E_0\) class containing no definable elements