A forcing order that is countable inside the ground model. It has the countable chain condition and preserves . Internal countability is distinct from external countability of the entire model.
New to topics? Read the docs here!
New to topics? Read the docs here!