Projective Absoluteness from Strong Cardinals – Cesare Straffelini (Universitat de Barcelona)


Dipartimento di Matematica, Aula Riunioni.


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.

Torna in cima