Definable relations in Turing degree structures

dc.contributor.author	Arslanov M.
dc.date.accessioned	2018-09-18T20:11:25Z
dc.date.available	2018-09-18T20:11:25Z
dc.date.issued	2013
dc.identifier.issn	0955-792X
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/137409
dc.description.abstract	In this article, we investigate questions about the definability of classes of n-c. e. sets and degrees in the Ershov difference hierarchy. © 2013 The Author, 2013. Published by Oxford University Press. All rights reserved.
dc.relation.ispartofseries	Journal of Logic and Computation
dc.subject	C.e. sets
dc.subject	Definable classes high degrees
dc.subject	Major sets
dc.subject	N-c.e. sets
dc.subject	Turing degrees
dc.title	Definable relations in Turing degree structures
dc.type	Article
dc.relation.ispartofseries-issue	6
dc.relation.ispartofseries-volume	23
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	1145
dc.source.id	SCOPUS0955792X-2013-23-6-SID84890364646

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

Размер: 43.39Kb

Формат: PDF

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