Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-121/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 121 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
Write . Its cofinality is , so choose a strictly increasing sequence of infinite cardinal numbers below with supremum . Such a sequence is obtained by refining a cofinal sequence and choosing larger cardinals recursively; is a singular cardinal, hence a limit cardinal.
By the axiom of choice, fix a bijection . SetEvery is infinite, , and distinct indices give distinct cardinalities. The cofinality of the sequence ensuresThus . Pairwise different sizes means different sizes for distinct members; without that qualification the parenthetical condition would contradict the case .
New to topics? Read the docs here!