 Theorem 3.6: For all \(A \subseteq \mathbb{N}\), there is an \(A\)-partial computable function \(\upsilon\) which is universal in the sense that for all unary \(A\)-partial computable functions \(f(\vec{x})\), there is an \(i \in \mathbb{N}\) such that \(\upsilon^{A}(i,x) \simeq f(x)\).