Forcing the $\Sigma_3$-separation property

04.06.2020 15:00 - 16:30

S. Hoffelner (U of Münster, DE)

The separation property, introduced in the 1920s, is a classical notion in descriptive set theory. It is well-known due to Moschovakis, that <b>\(\Delta_2\)</b>-determinacy implies the <b>\(\Sigma_3\)</b>-separation property; yet <b>\(\Delta_2\)</b>-determinacy implies an inner model with a Woodin cardinal. The question whether the <b>\(\Sigma_3\)</b>-separation property is consistent relative to just ZFC remained open however since Mathias' "Surrealist Landscape"-paper. We show that one can force it over

Organiser:

KGRC

Location:
online via Zoom