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

Mittwoch, 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 Donnerstag, 03.11.2011 09:24 von pfeifer
Geändert am Mittwoch, 23.11.2011 16:04 von pfeifer
[Edit | Vorlage]

Kolloquuium des Instituts für mathematische Logik