D. Aspero (Wien): Measuring club-sequences, together with CH
Mittwoch, 23.11.2011 16:15 im Raum SR 7
I will focus on a new method for building forcing notions giving rise to models of CH. The type of construction I will describe is not a forcing iteration in the classical sense. It can be roughly described as a finite support iteration with systems of models as side conditions and with "global" symmetry constraints. As an
application of this method I will present the construction of a model of Moore's 'measuring' together with CH. This is joint work with M.A. Mota.