Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-19/2/iv/a/solution

For the intended infinite regular cardinal , set . Suppose and the functions for its predecessors have been constructed. Since , choose a surjection and define
The supremum is below : it uses fewer than ordinals below , and is regular. This defines a function at each stage of the recursion.
For any , choose with . Whenever , the displayed supremum includes , so . Therefore the recursion yields a long chain under eventual domination of length .

New to topics? Read the docs here!