Khutoretskii’s Theorem for Generalized Computable Families


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

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}. \)

About the authors

M. Kh. Faizrakhmanov

Kazan (Volga Region) Federal University

Author for correspondence.
Email: marat.faizrahmanov@gmail.com
Russian Federation, ul. Kremlevskaya 18, Kazan, 420008

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2019 Springer Science+Business Media, LLC, part of Springer Nature