Recursively invariant β-recursion theory (Q3939794)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursively invariant β-recursion theory |
scientific article |
Statements
Recursively invariant β-recursion theory (English)
0 references
1981
0 references
recursively invariant beta recursion theory
0 references
recursion theory on an arbitrary limit ordinal
0 references
i-finite set
0 references
compactness theorem for infinitary languages over inadmissible sets
0 references
equational calculus
0 references
computation theory
0 references
degrees
0 references
splitting theorem
0 references
inadmissible limit ordinals
0 references
