Countable OD sets of reals belong to the ground model

DOI10.1007/S00153-017-0569-0OpenAlexW2513184536MaRDI QIDQ1745352FDOQ1745352

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

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

zbMATH Keywords

generic extensionscountable setsordinal definability

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (11)

• Definable elements of definable Borel sets
• The model \(N=\cup \{L[A]:\) A countable set of ordinals\(\}\)
• An effective minimal encoding of uncountable sets
• Typicality à la Russell in set theory
• On Russell typicality in set theory
• The full basis theorem does not imply analytic wellordering
• Uniformization and internal absoluteness
• The stable core
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
• Borel OD sets of reals are OD-Borel in some simple models
• OD elements of countable OD sets in the Solovay model

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)