Solution
= Solution
For the fixed effective enumeration of unary partial computable <functions>, the <infinite-domain index set> is
$$
\boxed{\mathbf{Inf}=\{w:\operatorname{dom}(f_{w,1})\text{ is infinite}\}.}
$$
= Solution
For the fixed effective enumeration of unary partial computable <functions>, the <infinite-domain index set> is
$$
\boxed{\mathbf{Inf}=\{w:\operatorname{dom}(f_{w,1})\text{ is infinite}\}.}
$$