Logic Seminar

Projective Absoluteness from Strong Cardinals

Name: Projective Absoluteness from Strong Cardinals
Start: 2023-10-26T11:00:00+02:00
End: 2023-10-26T12:00:00+02:00
Location: Dipartimento di Matematica

by Cesare Straffelini (Universitat de Barcelona)

Thursday 26 Oct 2023, 11:00 → 12:00 Europe/Rome

Aula Riunioni (Dipartimento di Matematica)

Aula Riunioni

Dipartimento di Matematica

Description

We will give a proof of an unpublished theorem by Hugh Woodin, which states that if there is a proper class of strong cardinals, then by Lévy collapsing the universe we can find a model of ZFC which is projective absolute under set forcing. This, together with a famous result by Kai Hauser, implies the equiconsistency of the theories "ZFC + Projective Absoluteness" and "ZFC + there are omega-many Strong Cardinals".