Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-19/3/ii/a/solution

For every , choose an injection . Define the Ulam matrix on omega-one by
For 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!