Degrees of categoricity of rigid structures

dc.contributor.author	Bazhenov N.
dc.contributor.author	Yamaleev M.
dc.date.accessioned	2018-04-05T07:09:18Z
dc.date.available	2018-04-05T07:09:18Z
dc.date.issued	2017
dc.identifier.issn	0302-9743
dc.identifier.uri	http://dspace.kpfu.ru/xmlui/handle/net/129647
dc.description.abstract	© Springer International Publishing AG 2017. We prove that there exists a properly 2-c.e. Turing degree d which cannot be a degree of categoricity of a rigid structure.
dc.relation.ispartofseries	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.subject	2-c.e. turing degrees
dc.subject	Categoricity spectrum
dc.subject	Rigid structure
dc.subject	Strong degree of categoricity
dc.title	Degrees of categoricity of rigid structures
dc.type	Conference Paper
dc.relation.ispartofseries-volume	10307 LNCS
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	152
dc.source.id	SCOPUS03029743-2017-10307-SID85020845392

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

Имя: SCOPUS03029743-20 ...

Размер: 101.8Kb

Формат: PDF

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