Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-116/1/d/solution
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 116 1 d Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
For regular , the cobounded filter on a regular cardinal is -complete. Part (c) extends it to a -complete ultrafilter . Since is cobounded for every , no singleton belongs to ; hence is nonprincipal. Thus every strongly compact cardinal is measurable.
New to topics? Read the docs here!