2 problems

Let $X,Y\subseteq\omega$, and let $\mathcal{G}^X$ and $\mathcal{G}^Y$ be the generalized computability models defined in the paper. An embedding $f:\mathcal{G}^X\to\mathcal{G}^Y$ i…

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…