An unpublished theorem of Solovay, revisited
arXiv:2001.11058
Abstract
A definable pair of disjoint non-OD sets of reals (hence, indiscernible sets) exists in the Sacks and -large generic extensions of the constructible universe .
More thoroughful treatment of Lemma 4.3