Finite-function collapse to countable size

ID: finite-function-collapse-to-countable-size

For an infinite ground-model cardinal number , use finite partial functions from to , ordered by reverse inclusion. The union of a generic filter is a surjection . The order has size , hence the -chain condition, and preserves cardinals at least .

New to topics? Read the docs here!