Khutoretskii’s Theorem for Generalized Computable Families


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

We give sufficient conditions for generalized computable numberings to satisfy the statement of Khutoretskii’s theorem. This implies limitedness of universal \( {\varSigma}_{\alpha}^0- \) computable numberings for 2 \( \le \alpha <{\omega}_1^{CK}. \)

Авторлар туралы

M. Faizrakhmanov

Kazan (Volga Region) Federal University

Хат алмасуға жауапты Автор.
Email: marat.faizrahmanov@gmail.com
Ресей, ul. Kremlevskaya 18, Kazan, 420008

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Springer Science+Business Media, LLC, part of Springer Nature, 2019