Definable Elements of Definable Borel Sets

Kanovei, VG; Lyubetsky, VA

Kanovei, VG (reprint author), Russian Acad Sci, Inst Informat Transmiss Problems, Moscow 127051, Russia.

MATHEMATICAL NOTES, 2019; 105 (5-6): 684

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......

Full Text Link