Geodesic
On autostability of almost prime models relative to strong constructivizations
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 65 (2010) no. 5, pp. 901-935

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

Questions of autostability and algorithmic dimension of models go back to papers by A. I. Malcev and by A. Fröhlich and J. C. Shepherdson in which the effect of the existence of computable presentations which are non-equivalent from the viewpoint of their algorithmic properties was first discovered. Today there are many papers by various authors devoted to investigations of such questions. The present paper deals with the question of inheritance of the properties of autostability and non-autostability relative to strong constructivizations under elementary extensions for almost prime models. Bibliography: 37 titles.
Keywords: computable model, constructive model, strongly constructive model, autostability, prime model, almost prime model, Ehrenfeucht theory, decidable theory, decidable model. 
@article{RM_2010_65_5_a3,
     author = {S. S. Goncharov},
     title = {On autostability of almost prime models relative to strong constructivizations},
     journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
     pages = {901--935},
     publisher = {mathdoc},
     volume = {65},
     number = {5},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RM_2010_65_5_a3/}
}
TY  - JOUR
AU  - S. S. Goncharov
TI  - On autostability of almost prime models relative to strong constructivizations
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2010
SP  - 901
EP  - 935
VL  - 65
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2010_65_5_a3/
LA  - en
ID  - RM_2010_65_5_a3
ER  - 
%0 Journal Article
%A S. S. Goncharov
%T On autostability of almost prime models relative to strong constructivizations
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2010
%P 901-935
%V 65
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RM_2010_65_5_a3/
%G en
%F RM_2010_65_5_a3
S. S. Goncharov. On autostability of almost prime models relative to strong constructivizations. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Tome 65 (2010) no. 5, pp. 901-935. http://geodesic.mathdoc.fr/item/RM_2010_65_5_a3/