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 |
|