A countable definable set containing no definable elements

DOI10.1134/S0001434617090048MaRDI QIDQ679849zbMATHOpenAlexFDO

Authors Vladimir Kanovei, Vassily Lyubetsky

Publication date 22 January 2018

Published in Mathematical Notes (Search for Journal in Brave)

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

zbMATH Keywords

definable elementscountable setsJensen's forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Other notions of set-theoretic definability (03E47)

Abstract: We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $P{i}_2^1$ set of reals containing no ordinal-definable real.

Recommendations

• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• A definable \(E_0\) class containing no definable elements
• Pointwise definable models of set theory
• Uniquely undefinable elements
• When does every definable nonempty set have a definable element?

Cites work

• scientific article; zbMATH DE number 3358472 (Why is no real title available?)
• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes
• A cofinal family of equivalence relations and Borel ideals generating them
• A model of set-theory in which every set of reals is Lebesgue measurable
• An effective minimal encoding of uncountable sets
• Borel equivalence relations. Structure and classification
• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• On coding uncountable sets by reals
• On the Leibniz–Mycielski axiom in set theory

Cited in

(23)

• Borel OD sets of reals are OD-Borel in some simple models
• On Russell typicality in set theory
• A definable \(E_0\) class containing no definable elements
• A choice function on countable sets, from determinacy
• Reductions between certain incidence problems and the continuum hypothesis
• Typicality à la Russell in set theory
• When does every definable nonempty set have a definable element?
• Proper and piecewise proper families of reals
• Pointwise definable models of set theory
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• A classical way forward for the regularity and normalization problems
• scientific article; zbMATH DE number 1923100 (Why is no real title available?)
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
• The full basis theorem does not imply analytic wellordering
• A model of second-order arithmetic satisfying AC but not DC
• Models of set theory in which the separation theorem fails
• A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes
• Countable OD sets of reals belong to the ground model
• Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
• Definable elements of definable Borel sets
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy

This page was built for publication: A countable definable set containing no definable elements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679849)