Chain condition for forcing
ID: chain-condition-for-forcing
For a regular uncountable cardinal number , a forcing order has the -chain condition when every antichain has cardinality below . It preserves cardinals and cofinalities at least .
New to topics? Read the docs here!