ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS (Q4799379)
From MaRDI portal
scientific article; zbMATH DE number 1886337
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS |
scientific article; zbMATH DE number 1886337 |
Statements
ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS (English)
0 references
2002
0 references
definability
0 references
computably enumerable sets
0 references
Turing reducibility
0 references
computably enumerable degrees
0 references
jump classes
0 references
