An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
A definable pair of disjoint non-OD sets of reals (hence, indiscernible sets) exists in the Sacks and [Formula: see text]o-large generic extensions of the constructible universe L. More specifically, if [Formula: see text] is either Sacks generic or [Formula: see text]o generic real over L, then it is true in L[Formula: see text] that there is a lightface [Formula: see text] equivalence relation Q on the [Formula: see text] set [Formula: see text] with exactly two equivalence classes, and both those classes are non-OD sets.
Keyword(s):
2012 ◽
Vol 26
(25)
◽
pp. 1246006
1989 ◽
Vol 41
(5)
◽
pp. 830-854
◽
1958 ◽
Vol 13
◽
pp. 135-156
◽
Keyword(s):
Keyword(s):
Keyword(s):
2009 ◽
Vol 15
(2)
◽
pp. 145-168
◽
2003 ◽
Vol 2003
(36)
◽
pp. 2303-2313
◽