Geodesic
Precomplete numberings
Itogi nauki i tehniki. Sovremennaâ matematika i eë priloženiâ. Tematičeskie obzory, Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University, Tome 157 (2018), pp. 106-134

Voir la notice de l'article provenant de la source Math-Net.Ru

In this survey, we discuss the theory of precomplete numberings which appear frequently in computability theory. Precomplete numberings are closely related to some variants of fixed point theorem having an important methodological value. This sometimes permits to eliminate cumbersome proofs involving the so called priority method in favour of elegant and simple applications of this theorem. In a sense, this paper covers the part of computability theory that may be developed by elementary methods.
Keywords: numbering, precomplete numbering, complete numbering, universality, reducibility, hierarchy, index set. 
@article{INTO_2018_157_a5,
     author = {V. L. Selivanov},
     title = {Precomplete numberings},
     journal = {Itogi nauki i tehniki. Sovremenna\^a matematika i e\"e prilo\v{z}eni\^a. Temati\v{c}eskie obzory},
     pages = {106--134},
     publisher = {mathdoc},
     volume = {157},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/INTO_2018_157_a5/}
}
TY  - JOUR
AU  - V. L. Selivanov
TI  - Precomplete numberings
JO  - Itogi nauki i tehniki. Sovremennaâ matematika i eë priloženiâ. Tematičeskie obzory
PY  - 2018
SP  - 106
EP  - 134
VL  - 157
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/INTO_2018_157_a5/
LA  - ru
ID  - INTO_2018_157_a5
ER  - 
%0 Journal Article
%A V. L. Selivanov
%T Precomplete numberings
%J Itogi nauki i tehniki. Sovremennaâ matematika i eë priloženiâ. Tematičeskie obzory
%D 2018
%P 106-134
%V 157
%I mathdoc
%U http://geodesic.mathdoc.fr/item/INTO_2018_157_a5/
%G ru
%F INTO_2018_157_a5
V. L. Selivanov. Precomplete numberings. Itogi nauki i tehniki. Sovremennaâ matematika i eë priloženiâ. Tematičeskie obzory, Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University, Tome 157 (2018), pp. 106-134. http://geodesic.mathdoc.fr/item/INTO_2018_157_a5/