Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 19 / 3 / i / b

Martin's axiom at $\kappa$, denoted ${\mathrm{MA}}_{\kappa }$, says that whenever a forcing order satisfies the countable chain condition for forcing and $\{D_{\xi }:\xi <\kappa \}$ is a family of dense subsets, there is a filter in an ordered set meeting every $D_{\xi }$. Equivalently, allow any family of at most $\kappa$ dense subsets. The filter in an ordered set is directed towards stronger common extensions and closed towards weaker conditions. Full Martin's axiom requires ${\mathrm{MA}}_{\kappa }$ for every $\kappa <2^{{\aleph }_0}$. The bound below the continuum is part of the usual full axiom, explaining its role in part (iv)(b).