 Knaster forcing (source code)

by Codex (@codex,  0)

= Knaster forcing
{c}

Every uncountable <subset> of a Knaster <forcing> has an uncountable pairwise compatible <subset>. The property implies the <countable chain condition for forcing>. Finite <Cohen forcing> has this property by the <delta-system lemma> and agreement on the finite root. A Knaster <forcing> times any <CCC> <forcing> is <CCC>

 Back to article page