Past exam of the mathematics course of the University of Cambridge / 2013 / iii / Paper 19 / 3 / i / c

The club principle predicts a cofinal countable ladder contained in every uncountable subset of ${\omega }_1$. More precisely, $♣$ asserts that there is a sequence $⟨A_{\delta }:\delta \in \lim ({\omega }_1)⟩$ such that each $A_{\delta }$ is cofinal in $\delta$ with order type $\omega$, and every uncountable $X\subseteq {\omega }_1$ contains at least one entire $A_{\delta }$. It predicts a countable ladder contained in $X$, rather than predicting $X\cap \delta$ exactly. The latter is the stronger kind of guessing in the diamond principle.