Solution

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

A well-pruned set-theoretic tree of height has the property that every node extends to every higher level below : if , there is of height with . Equivalently, the heights of extensions of every node are unbounded in , since taking predecessors then gives an extension at any prescribed intermediate level. This is stronger than merely having no terminal nodes. For a kappa-tree we use the usual regular uncountable height cardinal and levels of size less than that cardinal.

New to topics? Read the docs here!