|Time:|| 3:30pm - 4:30 pm
Wean Hall 8220
Department of Mathematical Sciences
Some strong chain conditions
One of the basic facts in forcing is that a finite support iteration of ccc forcing is ccc. This underlies (for example) the consistency proof for Martin's Axiom. In general an iteration of κ-closed κ+-cc forcing with <κ-support fails to be κ+-cc, and we need strngthened forms of the chain condition. I will discuss some of these strong chain conditions and the corresponding iteration theorems.