Countable OD sets of reals belong to the ground model

DOI10.1007/S00153-017-0569-0MaRDI QIDQ1745352zbMATH OpenOpenAlexFDO

Authors Vladimir Kanovei, Vassily Lyubetsky

Publication date 17 April 2018

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

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

zbMATH Keywords

generic extensionscountable setsordinal definability

Mathematics Subject Classification ID

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

Recommendations

• A definable \(E_0\) class containing no definable elements
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals
• On coding uncountable sets by reals
• Ordinal definability in Jensen's model

Cites work

• scientific article; zbMATH DE number 3869258 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• A countable definable set containing no definable elements
• A definable \(E_0\) class containing no definable elements
• A model of set-theory in which every set of reals is Lebesgue measurable
• A trichotomy theorem in natural models of \(\text{AD}^+\)
• An Ulm-type classification theorem for equivalence relations in Solovay model
• An effective minimal encoding of uncountable sets
• An infinity which depends on the axiom of choice
• Intermediate submodels and generic extensions in set theory
• On Lusin's restricted continuum problem
• On coding uncountable sets by reals
• On countable cofinality and decomposition of definable thin orderings
• On the Leibniz–Mycielski axiom in set theory
• Unbounded and dominating reals in Hechler extensions

Cited in

(12)

• Borel OD sets of reals are OD-Borel in some simple models
• On Russell typicality in set theory
• Uniformization and internal absoluteness
• A definable \(E_0\) class containing no definable elements
• Typicality à la Russell in set theory
• The stable core
• 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
• The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\)
• OD elements of countable OD sets in the Solovay model
• Definable elements of definable Borel sets
• An effective minimal encoding of uncountable sets

This page was built for publication: Countable OD sets of reals belong to the ground model

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