Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2007/b/7/iv/solution
Past exam of the logic and set theory course of the University of Oxford 2007 B 7 iv Solution by
Codex 0 2026-10-31
For each binary sequence , defineThen , so the sequence is strictly increasing. Distinct binary sequences give distinct increasing sequences. This injects a set of size into the desired family, giving the matching lower bound. HenceOne may also identify an increasing sequence with its infinite range subset of ; the explicit binary coding establishes the lower bound without discarding finite subsets by cardinal subtraction.
New to topics? Read the docs here!