dc.contributor.author |
Chubb J. |
|
dc.contributor.author |
Frolov A. |
|
dc.contributor.author |
Harizanov V. |
|
dc.date.accessioned |
2018-09-18T20:10:39Z |
|
dc.date.available |
2018-09-18T20:10:39Z |
|
dc.date.issued |
2009 |
|
dc.identifier.issn |
0933-5846 |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/137288 |
|
dc.description.abstract |
We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turing degrees determined by b is the degree spectrum of the successor relation of some computable linear ordering. This follows from our main result, that for a large class of linear orderings the degree spectrum of the successor relation is closed upward in the c.e. Turing degrees. © 2008 Springer-Verlag. |
|
dc.relation.ispartofseries |
Archive for Mathematical Logic |
|
dc.title |
Degree spectra of the successor relation of computable linear orderings |
|
dc.type |
Article |
|
dc.relation.ispartofseries-issue |
1 |
|
dc.relation.ispartofseries-volume |
48 |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
7 |
|
dc.source.id |
SCOPUS09335846-2009-48-1-SID59549097872 |
|