Borel OD sets of reals are OD-Borel in some simple models

DOI10.1090/PROC/14286MaRDI QIDQ4644723zbMATH OpenOpenAlexWikidataFDO

Authors Vladimir Kanovei, Vassily Lyubetsky

Publication date 8 January 2019

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/c4ddeb00bf43a6b4f42706dbb2848a5b533ba203

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Definable elements of definable Borel sets
• Countable OD sets of reals belong to the ground model
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
• A definable \(E_0\) class containing no definable elements
• Ordinal definability in Jensen's model

Cites work

• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• A Separation Theorem for ∑ 1 1 Sets
• A countable definable set containing no definable elements
• A definable \(E_0\) class containing no definable elements
• Borel equivalence relations. Structure and classification
• Countable OD sets of reals belong to the ground model
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• Descriptive set theory
• Measure and category in effective descriptive set theory
• On Lusin's restricted continuum problem
• Set Theory
• Set theory.

Cited in

(4)

• On Russell typicality in set theory
• The full basis theorem does not imply analytic wellordering
• There are no very meager sets in the model in which both the Borel conjecture and the dual Borel conjecture are true
• Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy

This page was built for publication: Borel OD sets of reals are OD-Borel in some simple models

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