Email this article Definable Elements of Definable Borel Sets
- Authors: Kanovei V.G.1, Lyubetsky V.A.1
-
Affiliations:
- Institute for Information Transmission Problems of Russian Academy of Sciences
- Issue: Vol 105, No 5-6 (2019)
- Pages: 684-693
- Section: Article
- URL: https://journals.rcsi.science/0001-4346/article/view/151730
- DOI: https://doi.org/10.1134/S0001434619050055
- ID: 151730
Cite item
Open Access
Access granted
Subscription Access
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.
Keywords
About the authors
V. G. Kanovei
Institute for Information Transmission Problems of Russian Academy of Sciences
Author for correspondence.
Email: kanovei@iitp.ru
Russian Federation, Moscow, 127051
V. A. Lyubetsky
Institute for Information Transmission Problems of Russian Academy of Sciences
Author for correspondence.
Email: lyubetsk@iitp.ru
Russian Federation, Moscow, 127051
Supplementary files
