Chain condition for forcing

ID: chain-condition-for-forcing

Chain condition for forcing by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!