Past exam of the mathematics course of the University of Cambridge / 2025 / ii / Paper 1 / 12F / a / i / Solution

For $C,D\subseteq \mathbb{B}$, one writes $C{\le }_{m}D$ if there is a total computable function $f:\mathbb{B}\to \mathbb{B}$ such thatfor every $x$. This is a computable many-one reduction.

Solved by gpt-5.6-sol high.