There are no long sequences of definable sets of reals.

Grigor Sargsyan (Polish Academy of Science, Warsaw)

Jul 07. 2022, 11:00 — 11:30

Hjorth showed that there is no sequence of length omega_2 consisting of distinct boldface Sigma^1_2 sets. We show that there is no sequence of length delta^1_{2n+2} consaisting of boldface Sigma^1_{2n+2} sets. This answers Question 30.21 of Kanamori's Book and resolves a conjectire of Kechris from 60s. 

Further Information
Venue:
ESI Boltzmann Lecture Hall
Recordings:
Recording
Associated Event:
Set-Theory (Workshop)
Organizer(s):
Jörg Brendle (Kobe U)
Vera Fischer (U of Vienna)
Sy David Friedman (U of Vienna)