Model-theoretic properties of the m-c.e. degrees

dc.contributor.author	Arslanov M.
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/137408
dc.description.abstract	In this article, we investigate model-theoretic properties of various Turing degree structures in the hierarchy of Δ 0 2-sets which is well known in the literature as Ershov Hierarchy. In particular, questions of definability of m-c.e. degrees in the structure of n-c.e. degrees, where m<n, elementary equivalences, extendability of partial order extensions are considered. © 2010 The Author. Published by Oxford University Press. All rights reserved.
dc.relation.ispartofseries	Journal of Logic and Computation
dc.subject	∑ 0 1-substructures
dc.subject	definable relations
dc.subject	elementary equivalence
dc.subject	n-c.e. sets and degrees
dc.subject	Turing reducibility
dc.title	Model-theoretic properties of the m-c.e. degrees
dc.type	Conference Paper
dc.relation.ispartofseries-issue	4
dc.relation.ispartofseries-volume	22
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	669
dc.source.id	SCOPUS0955792X-2012-22-4-SID84864766246

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

Размер: 43.15Kb

Формат: PDF

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