Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-121/1/v/c/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 121 1 v c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
The collapse is a bijection, so . Every and every element of belong to . The transitive collapse fixes transitive subsets lemma therefore gives , so every ambient countable ordinal belongs to .
Moreover, correctly regards each such as countable. An injection has rank below , so a witness belongs to . Elementarity gives “ is a countable ordinal”. Transporting this statement across the collapse, which fixes , gives the same statement in .
The collapse also fixes the element . No injection exists externally, hence none belongs to ; together with the countability witnesses below it, this shows that correctly identifies as its first uncountable ordinal. Elementarity and the collapse preserve that identification. Thus the construction gives
New to topics? Read the docs here!