1 problem

Let $X\subseteq\omega$. Write $\mathcal{K}_1^X$, $\mathcal{K}_2^X$, and $\mathcal{B}^X$ for the partial combinatory algebras defined in the paper, and write $X'$ for the Turing jum…