Countable chain condition for forcing
ID: countable-chain-condition-for-forcing
A forcing order has the countable chain condition when every antichain in a forcing order is countable. Such forcing preserves cardinals and cofinalities at least .
New to topics? Read the docs here!