Abstract | ||
---|---|---|
We show that all levels of the jump hierarchy are first order definable in the local structure of the enumeration degrees. |
Year | DOI | Venue |
---|---|---|
2018 | 10.3233/COM-170072 | COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE |
Keywords | DocType | Volume |
Enumeration degrees, definability, jump classes | Journal | 7 |
Issue | ISSN | Citations |
2-3 | 2211-3568 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hristo Aleksndrov Ganchev | 1 | 0 | 0.34 |
Mariya Ivanova Soskova | 2 | 21 | 10.54 |