Solution

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

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!