Tree forcings, sharps and absoluteness

22.10.2020 15:00 - 16:30

P. Schlicht (U Wien)

In joint results with Fabiana Castiblanco from 2018, we showed that several classical tree forcings preserve sharps for reals and levels of projective determinacy, and studied their impact on definable equivalence relations (in particular, the question whether they add equivalence classes to thin projective equivalence relations). I will discuss these results and natural open problems on tree forcings and absoluteness that arise from th

Organiser:

KGRC

Location:
online via Zoom