Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

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.

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

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Springer Science+Business Media New York, 2016