Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings
- Autores: Ospichev S.S.1
-
Afiliações:
- Novosibirsk State University
- Edição: Volume 215, Nº 4 (2016)
- Páginas: 529-536
- Seção: Article
- URL: https://ogarev-online.ru/1072-3374/article/view/237643
- DOI: https://doi.org/10.1007/s10958-016-2857-3
- ID: 237643
Citar
Resumo
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.
Palavras-chave
Sobre autores
S. Ospichev
Novosibirsk State University
Autor responsável pela correspondência
Email: ospichev@ngs.ru
Rússia, 2, ul. Pirogova, Novosibirsk, 630090
Arquivos suplementares
