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!