Countable-condition collapse

ID: countable-condition-collapse

Countable partial functions from to a nonempty ground-model set , ordered by extension, add a surjection . Countable closure preserves and adds no reals.

New to topics? Read the docs here!