dc.contributor.author |
Andrews U. |
|
dc.contributor.author |
Cai M. |
|
dc.contributor.author |
Kalimullin I. |
|
dc.contributor.author |
Lempp S. |
|
dc.contributor.author |
Miller J. |
|
dc.contributor.author |
Montalbán A. |
|
dc.date.accessioned |
2018-09-19T20:16:56Z |
|
dc.date.available |
2018-09-19T20:16:56Z |
|
dc.date.issued |
2016 |
|
dc.identifier.issn |
0022-4812 |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/142785 |
|
dc.description.abstract |
© 2016, Association for Symbolic Logic.We study Turing degrees a for which there is a countable structure A whose degree spectrum is the collection {x: x ≰ a}. In particular, for degrees a from the interval [0ʹ, 0ʺ ], such a structure exists if aʹ = 0ʺ, and there are no such structures if aʺ > 0ʺʹ . |
|
dc.relation.ispartofseries |
Journal of Symbolic Logic |
|
dc.subject |
Algebraic structures |
|
dc.subject |
Computably enumerable (c.e.) sets |
|
dc.subject |
Degree spectra |
|
dc.subject |
Families of c.e. sets |
|
dc.subject |
Turing degrees |
|
dc.title |
The complements of lower cones of degrees and the degree spectra of structures |
|
dc.type |
Article |
|
dc.relation.ispartofseries-issue |
3 |
|
dc.relation.ispartofseries-volume |
81 |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
997 |
|
dc.source.id |
SCOPUS00224812-2016-81-3-SID84987850028 |
|