Paper 19 (source code)

= Paper 19
{scope}
{title2=Topics in Set Theory}

https://www.maths.cam.ac.uk/postgrad/part-iii/files/pastpapers/2013/paper_19.pdf

Throughout the <forcing> arguments, a larger condition is stronger, as in the original paper. Ground-model <cardinal> calculations are internal to the indicated model. All three definition alternatives are supplied in each group that permits choosing two.