Kazan Federal University Digital Repository

Khutoretskii’s Theorem for Generalized Computable Families

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

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

Show simple item record

Search DSpace


Advanced Search

Browse

My Account

Statistics