The complements of lower cones of degrees and the degree spectra of structures

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

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

Имя: SCOPUS00224812-20 ...

Размер: 44.21Kb

Формат: PDF

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