Video library: V. G. Kanovei, Paradoxical partitions of the reals by Robert Solovay

VIDEO LIBRARY


Adian 90: Conference on Mathematical Logic, Algebra, and Computation July 7, 2021 12:45, Moscow, Steklov Mathematical Institute of RAS (Moscow) and online in Zoom

Paradoxical partitions of the reals by Robert Solovay V. G. Kanovei Institute of Information Transmission Problems, Moscow
Abstract: It holds in some generic extensions of the constructible universe $L$ (those by a single Sacks, Silver, Miller, Laver real) that there exists an OD (ordinal-definable) partition of the reals into two non-OD parts. The result for the Sacks extensions was announced by Solovay in 2002 but never published. The proofs combine forcing and descriptive set theoretic methods. Language: English