dc.contributor.author |
Frolov A. |
|
dc.contributor.author |
Kalimullin I. |
|
dc.contributor.author |
Harizanov V. |
|
dc.contributor.author |
Kudinov O. |
|
dc.contributor.author |
Miller R. |
|
dc.date.accessioned |
2018-09-18T20:11:24Z |
|
dc.date.available |
2018-09-18T20:11:24Z |
|
dc.date.issued |
2012 |
|
dc.identifier.issn |
0955-792X |
|
dc.identifier.uri |
https://dspace.kpfu.ru/xmlui/handle/net/137406 |
|
dc.description.abstract |
We survey known results on spectra of structures and on spectra of relations on computable structures, asking when the set of all highn degrees can be such a spectrum, and likewise for the set of non-low n degrees. We then repeat these questions specifically for linear orders and for relations on the computable dense linear order ℚ. New results include realizations of the set of non-low n Turing degrees as the spectrum of a relation on ℚ for all n≥1, and a realization of the set of all non-low n Turing degrees as the spectrum of a linear order whenever n≥2. The state of current knowledge is summarized in a table in the concluding section. © 2010 The Author. Published by Oxford University Press. All rights reserved. |
|
dc.relation.ispartofseries |
Journal of Logic and Computation |
|
dc.subject |
Computability |
|
dc.subject |
computable model theory |
|
dc.subject |
linear order |
|
dc.subject |
relation |
|
dc.subject |
spectrum |
|
dc.title |
Spectra of high n and non-low n degrees |
|
dc.type |
Conference Paper |
|
dc.relation.ispartofseries-issue |
4 |
|
dc.relation.ispartofseries-volume |
22 |
|
dc.collection |
Публикации сотрудников КФУ |
|
dc.relation.startpage |
755 |
|
dc.source.id |
SCOPUS0955792X-2012-22-4-SID84864747024 |
|