|
Martina Pfeifer

D. Aspero (Wien): Measuring club-sequences, together with CH

Wednesday, 23.11.2011 16:15 im Raum SR 7

Mathematik und Informatik

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.



Angelegt am 03.11.2011 von Martina Pfeifer
Geändert am 23.11.2011 von Martina Pfeifer
[Edit | Vorlage]

Kolloquuium des Instituts für mathematische Logik