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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.