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

DOI10.1090/PROC/14286OpenAlexW2901205750WikidataQ128930859 ScholiaQ128930859MaRDI QIDQ4644723FDOQ4644723

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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)