Mathematics of the USSR-Izvestiya
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find






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


Mathematics of the USSR-Izvestiya, 1988, Volume 30, Issue 1, Pages 103–122
DOI: https://doi.org/10.1070/IM1988v030n01ABEH000995
(Mi im1265)
 

Nonconstructivizable formal arithmetic structures

A. A. Tverskoi
References:
Abstract: Nonconstructivizability of a number of formal arithmetric structures is established in nonstandard models of formal Peano arithmetric ($PA$). Also considered is a formal structure whose constructivizability in a countable nonstandard model of $PA$ depends on the choice of the model. All concrete examples are built on formulas of class $\Delta_1(PA)$. Therefore the standard interpretations are recursive.
Bibliography: 12 titles.
Received: 07.01.1985
Russian version:
Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, 1987, Volume 51, Issue 1, Pages 111–130
Bibliographic databases:
UDC: 517.12
MSC: Primary 03H15; Secondary 03C62
Language: English
Original paper language: Russian
Citation: A. A. Tverskoi, “Nonconstructivizable formal arithmetic structures”, Izv. Akad. Nauk SSSR Ser. Mat., 51:1 (1987), 111–130; Math. USSR-Izv., 30:1 (1988), 103–122
Citation in format AMSBIB
\Bibitem{Tve87}
\by A.~A.~Tverskoi
\paper Nonconstructivizable formal arithmetic structures
\jour Izv. Akad. Nauk SSSR Ser. Mat.
\yr 1987
\vol 51
\issue 1
\pages 111--130
\mathnet{http://mi.mathnet.ru/im1265}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=887603}
\zmath{https://zbmath.org/?q=an:0659.03037|0646.03053}
\transl
\jour Math. USSR-Izv.
\yr 1988
\vol 30
\issue 1
\pages 103--122
\crossref{https://doi.org/10.1070/IM1988v030n01ABEH000995}
Linking options:
  • https://www.mathnet.ru/eng/im1265
  • https://doi.org/10.1070/IM1988v030n01ABEH000995
  • https://www.mathnet.ru/eng/im/v51/i1/p111
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:232
    Russian version PDF:83
    English version PDF:8
    References:48
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024