Countable OD sets of reals belong to the ground model

DOI10.1007/s00153-017-0569-0OpenAlexW2513184536MaRDI QIDQ1745352

Kanovei, Vladimir, 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)

Related Items (7)

On Russell typicality in set theory ⋮ Uniformization and internal absoluteness ⋮ Typicality à la Russell in set theory ⋮ The full basis theorem does not imply analytic wellordering ⋮ Borel OD sets of reals are OD-Borel in some simple models ⋮ An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited ⋮ Definable elements of definable Borel sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An infinity which depends on the axiom of choice
• A definable \(E_0\) class containing no definable elements
• An effective minimal encoding of uncountable sets
• A countable definable set containing no definable elements
• On Lusin's restricted continuum problem
• Intermediate submodels and generic extensions in set theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• On countable cofinality and decomposition of definable thin orderings
• On coding uncountable sets by reals
• An Ulm-type classification theorem for equivalence relations in Solovay model
• On the Leibniz–Mycielski axiom in set theory
• Unbounded and dominating reals in Hechler extensions

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