Kurt Gödel Research Center

2010 seminar talk: On Π₂ maximality and CH

Talk held by David Aspero (KGRC) at the KGRC seminar on 2010-04-29.

Abstract

I will show the existence of two Π₂ sentences about H(ω₂), 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.