Venue
Dipartimento di Matematica, Aula Riunioni.
Abstract
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”.
Further information is available on the event page on the Indico platform.