Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-121/3/a/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 121 3 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
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 isIt 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!