Geodesic
A computable structure with nonstandard computability
Algebra i logika, Tome 56 (2017) no. 5, pp. 636-638 
R. R. Avdeev; V. G. Puzarenko. A computable structure with nonstandard computability. Algebra i logika, Tome 56 (2017) no. 5, pp. 636-638. http://geodesic.mathdoc.fr/item/AL_2017_56_5_a6/
@article{AL_2017_56_5_a6,
     author = {R. R. Avdeev and V. G. Puzarenko},
     title = {A computable structure with nonstandard computability},
     journal = {Algebra i logika},
     pages = {636--638},
     year = {2017},
     volume = {56},
     number = {5},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2017_56_5_a6/}
}
TY  - JOUR
AU  - R. R. Avdeev
AU  - V. G. Puzarenko
TI  - A computable structure with nonstandard computability
JO  - Algebra i logika
PY  - 2017
SP  - 636
EP  - 638
VL  - 56
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/AL_2017_56_5_a6/
LA  - ru
ID  - AL_2017_56_5_a6
ER  - 
%0 Journal Article
%A R. R. Avdeev
%A V. G. Puzarenko
%T A computable structure with nonstandard computability
%J Algebra i logika
%D 2017
%P 636-638
%V 56
%N 5
%U http://geodesic.mathdoc.fr/item/AL_2017_56_5_a6/
%G ru
%F AL_2017_56_5_a6

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

Presented by Yu. L. Ershov, Editor-in-Chief.

[1] V. G. Puzarenko, “K vychislimosti na spetsialnykh modelyakh”, Sib. matem. zh., 46:1 (2005), 185–208 | MR | Zbl

[2] Yu. L. Ershov, “$\Sigma$-opredelimost v dopustimykh mnozhestvakh”, Dokl. AN SSSR, 285:4 (1985), 792–795 | MR | Zbl

[3] Yu. L. Ershov, Opredelimost i vychislimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR

[4] Yu. L. Ershov, Problemy razreshimosti i konstruktivnye modeli, Nauka, M., 1980 | MR

[5] S. S. Goncharov, Yu. L. Ershov, Konstruktivnye modeli, Sibirskaya shkola algebry i logiki, Nauchnaya kniga, Novosibirsk, 1999

[6] V. G. Puzarenko, “Ob odnoi svodimosti na dopustimykh mnozhestvakh”, Sib. matem. zh., 50:2 (2009), 415–429 | MR

[7] R. R. Avdeev, “O dopustimykh mnozhestvakh vida $\mathbb{HYP}(\mathfrak M)$ nad rekursivno nasyschennymi modelyami”, Sib. matem. zh., 52:6 (2011), 1199–1220 | MR | Zbl