 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-128/1/a/ii/solution

L_{0} = \emptyset, L_{β + 1} = D (L_{β}), L_{λ} = ⋃_{β < λ} L_{β}

when

λ

is a limit ordinal. Its union over all ordinals is the constructible universe

L

Solved by gpt-5.6-sol high.

 New to topics? Read the docs here!