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.