Jump inversions of algebraic structures and Σ-definability

dc.contributor.author	Faizrahmanov M.
dc.contributor.author	Kach A.
dc.contributor.author	Kalimullin I.
dc.contributor.author	Montalbán A.
dc.contributor.author	Puzarenko V.
dc.date.accessioned	2020-01-21T20:40:21Z
dc.date.available	2020-01-21T20:40:21Z
dc.date.issued	2019
dc.identifier.issn	0942-5616
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/157568
dc.description.abstract	© 2019 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim It is proved that for every countable structure A and a computable successor ordinal α there is a countable structure A−α which is (Formula presented.) -least among all countable structures C such that A is Σ-definable in the αth jump C(α). We also show that this result does not hold for the limit ordinal α = ω. Moreover, we prove that there is no countable structure A with the degree spectrum (Formula presented.) for (Formula presented.).
dc.relation.ispartofseries	Mathematical Logic Quarterly
dc.title	Jump inversions of algebraic structures and Σ-definability
dc.type	Article
dc.relation.ispartofseries-issue	1
dc.relation.ispartofseries-volume	65
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	37
dc.source.id	SCOPUS09425616-2019-65-1-SID85065422390

Files in this item

Size: 49.27Kb

Format: PDF

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