Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-19/2/iv/a/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 19 2 iv a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
For the intended infinite regular cardinal , set . Suppose and the functions for its predecessors have been constructed. Since , choose a surjection and defineThe 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!