Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-121/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 121 1 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
The least index is , withIndeed, for every nonzero limit ordinal , continuity of the aleph number enumeration and the cofinality of an increasing ordinal supremum giveIf is a nonzero limit ordinal, this cofinality is , so is a singular cardinal. The other infinite cardinal numbers below are successor-indexed or , and are regular cardinals. For a successor cardinal , a cofinal sequence of length at most would express as a union of at most sets of size at most , contradicting infinite cardinal arithmetic.
There are nonzero countable limit ordinals, and each countable initial segment contains only countably many. In increasing order they therefore have order type . These are precisely the indices of the uncountable singular cardinals below . Hence every with has countable cofinality, and the next one is , whose cofinality is .
New to topics? Read the docs here!