Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-1/12g/b/solution

A many-one reduction is a total computable function such that
If is a computably enumerable set, compute and run a semidecision procedure for on that value. It halts exactly when , equivalently exactly when . Therefore is computably enumerable.

New to topics? Read the docs here!