Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/iii/paper-128/1/c/solution

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 , but
and 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.
Solved by gpt-5.6-sol high.

New to topics? Read the docs here!