|
This article is cited in 2 scientific papers (total in 2 papers)
On autostability of almost prime models relative to strong constructivizations
S. S. Goncharov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
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.
DOI:
https://doi.org/10.4213/rm9373
Full text:
PDF file (745 kB)
References:
PDF file
HTML file
English version:
Russian Mathematical Surveys, 2010, 65:5, 901–935
Bibliographic databases:
Document Type:
Article
UDC:
517.1+519.5
MSC: Primary 03C57; Secondary 03C35, 03D45, 03D80 Received: 29.06.2010
Citation:
S. S. Goncharov, “On autostability of almost prime models relative to strong constructivizations”, Uspekhi Mat. Nauk, 65:5(395) (2010), 107–142; Russian Math. Surveys, 65:5 (2010), 901–935
Citation in format AMSBIB
\Bibitem{Gon10}
\by S.~S.~Goncharov
\paper On autostability of almost prime models relative to strong constructivizations
\jour Uspekhi Mat. Nauk
\yr 2010
\vol 65
\issue 5(395)
\pages 107--142
\mathnet{http://mi.mathnet.ru/umn9373}
\crossref{https://doi.org/10.4213/rm9373}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2767909}
\zmath{https://zbmath.org/?q=an:1219.03038}
\adsnasa{http://adsabs.harvard.edu/cgi-bin/bib_query?2011RuMaS..65..901G}
\elib{http://elibrary.ru/item.asp?id=20423089}
\transl
\jour Russian Math. Surveys
\yr 2010
\vol 65
\issue 5
\pages 901--935
\crossref{https://doi.org/10.1070/RM2010v065n05ABEH004704}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000286623200003}
\elib{http://elibrary.ru/item.asp?id=16981919}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-79955573162}
Linking options:
http://mi.mathnet.ru/eng/umn9373https://doi.org/10.4213/rm9373 http://mi.mathnet.ru/eng/umn/v65/i5/p107
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
This publication is cited in the following articles:
-
S. S. Goncharov, “Degrees of autostability relative to strong constructivizations”, Proc. Steklov Inst. Math., 274 (2011), 105–115
-
E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations”, Algebra and Logic, 54:4 (2015), 336–341
|
Number of views: |
This page: | 257 | Full text: | 68 | References: | 25 | First page: | 22 |
|