Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings


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

Толық мәтін

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

Аннотация

We construct an example of a computable family of sets that does not possess \( {\displaystyle {\sum}_{{}_a}^{-1}} \) -computable principal numberings for any a ϵ . Bibliography: 19 titles.

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

S. Ospichev

Novosibirsk State University

Хат алмасуға жауапты Автор.
Email: ospichev@ngs.ru
Ресей, 2, ul. Pirogova, Novosibirsk, 630090

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

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

© Springer Science+Business Media New York, 2016