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,…
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,…