Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings


Cite item

Full Text

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

Abstract

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.

About the authors

S. S. Ospichev

Novosibirsk State University

Author for correspondence.
Email: ospichev@ngs.ru
Russian Federation, 2, ul. Pirogova, Novosibirsk, 630090

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2016 Springer Science+Business Media New York