Показать сокращенную информацию

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


Файлы в этом документе

Данный элемент включен в следующие коллекции

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика