Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-19/5/ii/b/solution

Use the equivalent tree formulation of the Suslin hypothesis: there is no normal, well-pruned Suslin tree of height , with countable levels and no uncountable chains or antichains. This is equivalent to the linear-order formulation that every complete dense order without endpoints satisfying the countable chain condition for a linear order is separable.
If such a tree existed, use its nodes as forcing conditions, with a higher extension stronger. It is CCC because its antichains are countable. For every , the set is dense because the tree is well-pruned. The assertion is precisely that a CCC forcing and a family of at most dense sets admit a filter meeting all of them.
Apply it to these dense sets. A directed filter in a tree is a chain: two compatible nodes are comparable, since both lie among the well-ordered predecessors of a common extension. Meeting every makes this chain cofinal, contrary to the defining absence of uncountable chains in a Suslin tree. Consequently

New to topics? Read the docs here!