Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-121/3/iv/b/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 121 3 iv b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
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!