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, 1982, Volume 37, Issue 4, Pages 139–140
DOI: https://doi.org/10.1070/RM1982v037n04ABEH003977
(Mi rm3852)
 

In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society

Second-order arithmetic and the consistency of first-order theories

V. I. Stepanov
References:
Received: 16.04.1982
Bibliographic databases:
Document Type: Article
MSC: 03F35, 03F40, 03F03
Language: English
Original paper language: Russian
Citation: V. I. Stepanov, “Second-order arithmetic and the consistency of first-order theories”, Russian Math. Surveys, 37:4 (1982), 139–140
Citation in format AMSBIB
\Bibitem{Ste82}
\by V.~I.~Stepanov
\paper Second-order arithmetic and the consistency of first-order theories
\jour Russian Math. Surveys
\yr 1982
\vol 37
\issue 4
\pages 139--140
\mathnet{http://mi.mathnet.ru//eng/rm3852}
\crossref{https://doi.org/10.1070/RM1982v037n04ABEH003977}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=667995}
\zmath{https://zbmath.org/?q=an:0509.03032|0531.03034}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?1982RuMaS..37..139S}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1982RC43300024}
Linking options:
  • https://www.mathnet.ru/eng/rm3852
  • https://doi.org/10.1070/RM1982v037n04ABEH003977
  • https://www.mathnet.ru/eng/rm/v37/i4/p179
  • 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:441
    Russian version PDF:207
    English version PDF:24
    References:47
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024