Khutoretskii’s Theorem for Generalized Computable Families
- Авторлар: Faizrakhmanov M.K.1
-
Мекемелер:
- Kazan (Volga Region) Federal University
- Шығарылым: Том 58, № 4 (2019)
- Беттер: 356-365
- Бөлім: Article
- URL: https://journal-vniispk.ru/0002-5232/article/view/234152
- DOI: https://doi.org/10.1007/s10469-019-09557-9
- ID: 234152
Дәйексөз келтіру
Аннотация
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
Қосымша файлдар
