Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-128/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 128 1 c Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Take . This is a limit ordinal greater than . There is a recursive well-order code for : for example, use a recursive pairing of the natural numbers with and the lexicographic order consisting of successive blocks of order type . Since is definable over , it belongs to and hence to .
The representation of is , butand the ordinals belonging to are exactly those below . Thus while its representation is not in , violating the second requirement for a coding level of the constructible hierarchy.
New to topics? Read the docs here!