Logic Seminar
Online Event
An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
Vladimir Kanovei,
Institute for Information Transmission Problems, Moscow,
A definable pair of disjoint non-ODOD sets of reals (hence, indiscernible sets) exists in the Sacks and E0E0-large generic extensions of the constructible universe LL. More specifically, if aa is a real either Sacks generic or E0E0 generic over LL, then it is true in L[a]L[a] that: there is a Π12Π21 equivalence relation QQ on the set UU, of all nonconstructible reals, with exactly two equivalence classes, and both those classes are non-ODOD sets. This is joint work with Ali Enayat.
For more information, please email A. Kechris at [email protected].
Event Series
Logic Seminar Series
Event Sponsors