Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-121/3/iv/b/solution

The countable chain condition for forcing says that every antichain in a forcing order is a countable set. Equivalently,
In this question the assertion is evaluated inside . Although every subset of the countable set is externally countable, that observation does not establish the internal chain condition: need not contain an enumeration of an antichain.

New to topics? Read the docs here!