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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have