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