An extension of the nondiamond theorem in classical and α-recursion theory (Q3698790)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An extension of the nondiamond theorem in classical and α-recursion theory |
scientific article |
Statements
An extension of the nondiamond theorem in classical and α-recursion theory (English)
0 references
1984
0 references
recursively enumerable degrees
0 references
alpha recursion theory
0 references
noncappability
0 references
cappable degree
0 references
low-cuppable degrees
0 references
0 references