Tree forcings, sharps and absoluteness

22.10.2020 15:00 - 17:00

Philipp Schlicht (KGRC)

Abstract: 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 them.

Organiser:

KGRC

Location:
online meeting via Zoom