OurBigBook.comSite Source code

Infinite-domain index set

For an effective enumeration

f_{w, 1}

of unary partial computable functions,

Inf = {w : dom (f_{w, 1}) is infinite}

is an index set.

Table of contents 63 1
- Infinite-domain range-restriction index set Infinite-domain index set 46

 Ancestors (6)

 Incoming links (1)

Solution