Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-24/3/c/i/solution

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!