Splitting properties of n-C.E. enumeration degrees

dc.contributor.author	Kalimullin I.
dc.date.accessioned	2018-09-17T20:26:24Z
dc.date.available	2018-09-17T20:26:24Z
dc.date.issued	2002
dc.identifier.issn	0022-4812
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/133478
dc.description.abstract	It is proved that if 1 < m < 2p ≤ n for some integer p then the elementary theories of posets of m-c.e. n-c.e. e-degrees are distinct. It is proved also that the structures 〈D2n ≤ P〉 and 〈D2n ≤ P〉 are not elementary equivalent where P is the predicate P(a) = "a is a π1 0 e-degree".
dc.relation.ispartofseries	Journal of Symbolic Logic
dc.title	Splitting properties of n-C.E. enumeration degrees
dc.type	Article
dc.relation.ispartofseries-issue	2
dc.relation.ispartofseries-volume	67
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	537
dc.source.id	SCOPUS00224812-2002-67-2-SID0036017421

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

Имя: SCOPUS00224812-20 ...

Размер: 43.29Kb

Формат: PDF

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