Russian Mathematical Surveys
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Uspekhi Mat. Nauk:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Russian Mathematical Surveys, 2010, Volume 65, Issue 5, Pages 901–935
DOI: https://doi.org/10.1070/RM2010v065n05ABEH004704 (Mi rm9373) 		 
This article is cited in 16 scientific papers (total in 16 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
English version PDF (591 kB) Citations (16)
References:
PDF
HTML
DOI: https://doi.org/10.1070/RM2010v065n05ABEH004704
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.
Received: 29.06.2010
Russian version:
Uspekhi Matematicheskikh Nauk, 2010, Volume 65, Issue 5(395), Pages 107–142
DOI: https://doi.org/10.4213/rm9373
Bibliographic databases:
Document Type: Article
UDC: 517.1+519.5
MSC: Primary 03C57; Secondary 03C35, 03D45, 03D80
Language: English
Original paper language: Russian
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/rm9373}
\crossref{https://doi.org/10.4213/rm9373}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2767909}
\zmath{https://zbmath.org/?q=an:1219.03038}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2011RuMaS..65..901G}
\elib{https://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{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000286623200003}
\elib{https://elibrary.ru/item.asp?id=16981919}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-79955573162}
Linking options:
  • https://www.mathnet.ru/eng/rm9373
  • https://doi.org/10.1070/RM2010v065n05ABEH004704
  • https://www.mathnet.ru/eng/rm/v65/i5/p107
    • This publication is cited in the following 16 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Успехи математических наук Russian Mathematical Surveys
    Statistics & downloads:
    Abstract page:521
    Russian version PDF:216
    English version PDF:7
    References:45
    First page:22
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024