Categoricity Spectra for Polymodal Algebras

dc.contributor.author	Bazhenov N.
dc.date.accessioned	2018-09-19T21:59:15Z
dc.date.available	2018-09-19T21:59:15Z
dc.date.issued	2016
dc.identifier.issn	0039-3215
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/144561
dc.description.abstract	© 2016, Springer Science+Business Media Dordrecht.We investigate effective categoricity for polymodal algebras (i.e., Boolean algebras with distinguished modalities). We prove that the class of polymodal algebras is complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations. In particular, this implies that every categoricity spectrum is the categoricity spectrum of a polymodal algebra.
dc.relation.ispartofseries	Studia Logica
dc.subject	Autostability spectrum
dc.subject	Boolean algebra with operators
dc.subject	Categoricity spectrum
dc.subject	Degree spectrum
dc.subject	Polymodal algebra
dc.subject	Turing computable embedding
dc.title	Categoricity Spectra for Polymodal Algebras
dc.type	Article
dc.relation.ispartofseries-issue	6
dc.relation.ispartofseries-volume	104
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	1083
dc.source.id	SCOPUS00393215-2016-104-6-SID84961215297

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

Размер: 43.63Kb

Формат: PDF

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