Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-24/3/c/i/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 24 3 c i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Choose distinct cofinal branches of the Kurepa tree and regard them as subsets of its underlying set . Let be this family. Fix an ordinal . The countably many node codes below have heights bounded by some . A cofinal branch meets level , and its node there determines all its predecessors, hence all its nodes with codes below . Since level is countable,This is the Kurepa-family hypothesis. The given compatibility between the ordinal codes and the tree order ensures in particular that the branches are consistently viewed as subsets of ; boundedness of the heights of the countably many codes is what the argument uses.
New to topics? Read the docs here!