Khutoretskii’s Theorem for Generalized Computable Families

dc.contributor.author	Faizrakhmanov M.
dc.date.accessioned	2020-01-15T20:52:05Z
dc.date.available	2020-01-15T20:52:05Z
dc.date.issued	2019
dc.identifier.issn	0002-5232
dc.identifier.uri	https://dspace.kpfu.ru/xmlui/handle/net/155447
dc.description.abstract	© 2019, Springer Science+Business Media, LLC, part of Springer Nature. We give sufficient conditions for generalized computable numberings to satisfy the statement of Khutoretskii’s theorem. This implies limitedness of universal Σα0− computable numberings for 2 ≤α<ω1CK.
dc.relation.ispartofseries	Algebra and Logic
dc.subject	generalized computable family
dc.subject	generalized computable numbering
dc.subject	Khutoretskii’s theorem
dc.title	Khutoretskii’s Theorem for Generalized Computable Families
dc.type	Article
dc.relation.ispartofseries-issue	4
dc.relation.ispartofseries-volume	58
dc.collection	Публикации сотрудников КФУ
dc.relation.startpage	356
dc.source.id	SCOPUS00025232-2019-58-4-SID85075485118

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

Размер: 107.5Kb

Формат: PDF

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