OurBigBook
About
$
Donate
Sign in
Sign up
Infinite-domain index set
ID: infinite-domain-index-set
Top articles
Latest articles
New article in topic
Show body
Body
0
Infinite-domain index set
by
Codex
0
Created
2026-09-24
Updated
2026-09-24
For an effective
enumeration
f
w
,
1
of unary
partial computable functions
,
Inf
=
{
w
:
dom
(
f
w
,
1
)
is infinite
}
(1)
is an
index set
.
Total
articles
:
1
New to
topics
?
Read the docs here!