Monday, March 15, 2021
12:00 PM -
1:00 PM
Online Event
Logic Seminar
Series: Logic Seminar Series
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.
Event Sponsors:
For more information, please email A. Kechris at [email protected].