A countable definable set containing no definable elements

DOI10.1134/S0001434617090048zbMATH Open1420.03130arXiv1408.3901OpenAlexW3106300234MaRDI QIDQ679849FDOQ679849

Authors: Vladimir Kanovei, Vassily Lyubetsky 

Publication date: 22 January 2018

Published in: Mathematical Notes (Search for Journal in Brave)

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.

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

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?

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)

Cites Work

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

Cited In (23)

• Definable elements of definable Borel sets
• When does every definable nonempty set have a definable element?
• A Groszek-Laver pair of undistinguishable \(\mathsf{E}_0\)-classes
• Countable OD sets of reals belong to the ground model
• Pointwise definable models of set theory
• Typicality à la Russell in set theory
• On Russell typicality in set theory
• Proper and piecewise proper families of reals
• A classical way forward for the regularity and normalization problems
• Title not available (Why is that?)
• The full basis theorem does not imply analytic wellordering
• A choice function on countable sets, from determinacy
• Models of set theory in which the separation theorem fails
• Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• 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
• A definable \(E_0\) class containing no definable elements
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• Borel OD sets of reals are OD-Borel in some simple models
• A model of second-order arithmetic satisfying AC but not DC
• Reductions between certain incidence problems and the continuum hypothesis
• 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

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)