Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-116/2/d/solution

Let . Every term of the critical sequence is below . If , then its countable supremum also satisfies , and because is a limit ordinal,
Apply the Kunen lemma to the restriction available inside . It gives
which is impossible because . Hence . A nonzero limit ordinal has infinite cofinality, so

New to topics? Read the docs here!