Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-121/3/a/solution

Fix a regular uncountable cardinal number . A club set is unbounded in and closed under suprema below of nonempty increasing sequences with no last term. Equivalently, every limit ordinal with belongs to . The club filter is
It consists of all sets containing a club set, not only the club sets themselves.
An omega-measurable cardinal is a cardinal number carrying a nonprincipal ultrafilter closed under countable intersections, that is, a countably complete ultrafilter. Such a cardinal must be uncountable: on a countable set the intersection of the complements of all singletons would be empty.
A measurable cardinal is an uncountable cardinal number carrying a nonprincipal -complete ultrafilter. A kappa-complete filter is closed under intersections of every family of size strictly below . Thus for an omega-measurable cardinal the completeness required is countable completeness, not merely closure under finitely many intersections.

New to topics? Read the docs here!