Countable forcing
= Countable forcing
A forcing order that is countable inside the ground model. It has the countable chain condition and preserves $\omega_1$. Internal countability is distinct from external countability of the entire model.
= Countable forcing
A forcing order that is countable inside the ground model. It has the countable chain condition and preserves $\omega_1$. Internal countability is distinct from external countability of the entire model.