A definable \(E_0\) class containing no definable elements
From MaRDI portal
Publication:494659
DOI10.1007/s00153-015-0436-9zbMath1343.03040arXiv1408.6642MaRDI 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
Related Items
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 ‐classes, Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy, On Russell typicality in set theory, Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation, 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
Cites Work