Abstract
We prove that it is true in Sacks, Cohen, and Solovay generic extensions that any ordinal definable Borel set of reals necessarily contains an ordinal definable element. This result has previously been known only for countable sets.
Similar content being viewed by others
References
J. Hadamard, “Cinq lettres sur la théorie des ensembles,” Bull. Soc. Math. France 33, 261–273 (1905).
N. Lusin and P. Novikoff, “Choix effectif d’un point dans un complémentaire analytique arbitraire, donné par un crible,” Fund. Math. 25, 559–560 (1935).
G. H. Moore, Zermelo’s Axiom of Choice. Its Origins, Development, and Influence. (Springer-Verlag, New York, 1982).
V. G. Kanovei and V. A. Lyubetsky, Modern Set Theory: Borel and projective sets (MTsNMO, Moscow, 2010) [in Russian].
V. Kanovei, Borel Equivalence Relations. Structure and Classification (Amer. Math. Soc., Providence, RI, 2008).
R. M. Solovay, “A model of set-theory in which every set of reals is Lebesgue measurable,” Ann. of Math. (2) 92, 1–56 (1970).
V. Kanovei and V. Lyubetsky, “Adefinable E0-class containing no definable elements,” Arch. Math. Logic 54 (5–6), 711–723 (2015).
V. G. Kanovei and V. A. Lyubetsky, “Adefinable countable set containing no definable elements,” Mat. Zametki 102 (3), 369–382 (2017) [Math. Notes 102 (3), 338–349 (2017)].
V. Kanovei and V. Lyubetsky, “Countable OD sets of reals belong to the ground model,” Arch. Math. Logic 57 (3–4), 285–298 (2018).
V. G. Kanovei and V. A. Lyubetsky, “On some classical problems in descriptive set theory,” Uspekhi Mat. Nauk 58 (5(353)), 3–88 (2003) [Russian Math. Surveys 58 (5), 839–927 (2003)].
V. G. Kanovei and V. A. Lyubetsky, “On the set of constructible reals,” in Tr. Mat. Inst. Steklova, Vol. 247: Geometric Topology and Set Theory (MAIK “Nauka/Interperiodica,” Moscow, 2004), pp. 95–128 [Proc. Steklov Inst. Math. 247, 83–114 (2004)].
V. Kanovei, “Non-Glimm-Effros equivalence relations at second projective level,” Fund. Math. 154 (1), 1–35 (1997).
Y. N. Moschovakis, Descriptive Set Theory (North-Holland Publ., Amsterdam, 1980).
J. R. Shoenfield, Mathematical Logic (Addison-Wesley, 1967).
V. Kanovei, “When a partial Borel order is linearizable,” Fund. Math. 155 (3), 301–309 (1998).
M. Kondô, “L’uniformisation des complémentaires analytiques,” Proc. Imp. Acad. 13 (8), 287–291 (1937).
J. W. Addison, “Separation principles in the hierarchies of classical and effective descriptive set theory,” Fund. Math. 46, 123–135 (1959).
J. Stern, “On Lusin’s restricted continuum problem,” Ann. of Math. (2) 120 (1), 7–37 (1984).
V. G. Kanovei and V. A. Lyubetsky, Modern Set Theory: Absolutely Unsolvable Classical Problems (MTsNMO, Moscow, 2013) [in Russian].
Acknowledgments
The authors wish to express gratitude to the anonymous referee for valuable remarks, which have allowed us to supplement and improve the presentation.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Russian Text © The Author(s), 2019, published in Matematicheskie Zametki, 2019, Vol. 105, No. 5, pp. 696–707.
Rights and permissions
About this article
Cite this article
Kanovei, V.G., Lyubetsky, V.A. Definable Elements of Definable Borel Sets. Math Notes 105, 684–693 (2019). https://doi.org/10.1134/S0001434619050055
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0001434619050055