Geodesic
Index Sets of Autostable Relative to Strong Constructivizations Constructive Models
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 4, pp. 43-67

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

Found complexity of Index sets of autostable relative to strong constructivizations constructive models with strong constructivizations and strong constructive models.
Keywords: computable model, decidable model, constructive model, strong constructive model, numbering, computable numberings, hyperarithmetical hierarchy, index sets, autostable models, categorical models. 
@article{VNGU_2013_13_4_a3,
     author = {S. S. Goncharov and M. I. Marchuk},
     title = {Index {Sets} of {Autostable} {Relative} to {Strong} {Constructivizations} {Constructive} {Models}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {43--67},
     publisher = {mathdoc},
     volume = {13},
     number = {4},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2013_13_4_a3/}
}
TY  - JOUR
AU  - S. S. Goncharov
AU  - M. I. Marchuk
TI  - Index Sets of Autostable Relative to Strong Constructivizations Constructive Models
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2013
SP  - 43
EP  - 67
VL  - 13
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VNGU_2013_13_4_a3/
LA  - ru
ID  - VNGU_2013_13_4_a3
ER  - 
%0 Journal Article
%A S. S. Goncharov
%A M. I. Marchuk
%T Index Sets of Autostable Relative to Strong Constructivizations Constructive Models
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2013
%P 43-67
%V 13
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2013_13_4_a3/
%G ru
%F VNGU_2013_13_4_a3
S. S. Goncharov; M. I. Marchuk. Index Sets of Autostable Relative to Strong Constructivizations Constructive Models. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 4, pp. 43-67. http://geodesic.mathdoc.fr/item/VNGU_2013_13_4_a3/