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.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call