Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings
- Авторлар: Ospichev S.S.1
-
Мекемелер:
- Novosibirsk State University
- Шығарылым: Том 215, № 4 (2016)
- Беттер: 529-536
- Бөлім: Article
- URL: https://bakhtiniada.ru/1072-3374/article/view/237643
- DOI: https://doi.org/10.1007/s10958-016-2857-3
- ID: 237643
Дәйексөз келтіру
Аннотация
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
Қосымша файлдар
