Caltech Logo

Logic Seminar

Monday, March 15, 2021
12:00pm to 1:00pm
Add to Cal
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 kechris@caltech.edu.