2010 seminar talk: On Π2 maximality and CH
Talk held by David Aspero (KGRC) at the KGRC seminar on 2010-04-29.
I will show the existence of two Π2 sentences about H(ω2), both of which can separately be forced to hold together with CH (assuming, for one of them, the existence of an inaccessible limit of measurable cardinals), but whose conjunction implies the failure of CH. This solves a well-known problem of Woodin. This is joint work with P. Larson and J. Moore.