Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-19/3/ii/a/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 19 3 ii a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
For every , choose an injection . Define the Ulam matrix on omega-one byFor a fixed , every belongs to exactly one of these sets, so their union is the entire tail . Its complement is the countable ordinal . For distinct and fixed , membership in both sets would give for some above both, contradicting injectivity. This verifies both requested properties.
New to topics? Read the docs here!