 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-2/4j/a/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

I

of program indices whose membership is extensional: whenever

f_{u, 1} = f_{v, 1}

, one has

u \in I

if and only if

v \in I

. It is nontrivial when it is neither empty nor the set of all indices.

 New to topics? Read the docs here!