Solution

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

Let witness that is measurable. Regularity is given, so it remains to prove the strong limit cardinal property. First, every has cardinality : if , then
by nonprincipality and -completeness, contradicting .
Suppose and . Choose an injection . For each , exactly one of
lies in . Their chosen intersection lies in by -completeness. On that intersection every is the same subset of , contradicting injectivity because every member of has size . Thus , and is strongly inaccessible.

New to topics? Read the docs here!