2020 seminar talk: Tree forcings, sharps and absoluteness

Talk held by Philipp Schlicht (KGRC) at the KGRC seminar on 2020-10-22.

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.

The slides for this talk are available.

Time and Place

Talk at 3:00pm via Zoom

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.