Janusz Pawlikowski: Playing with countable support iteration

Week 1, Thursday June 18, 15:15-16:05

Countable support iteration of definable forcings is often used in Set Theory of the Reals. I'll discuss a game of length omega_1 which seems to be responsible for many combinatorial properties of the generic extension. This is connected to the Parametrized Diamond Principles and developes the Covering Property Axiom.