Matematicheskie Zametki
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
License agreement
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Mat. Zametki:
Year:
Volume:
Issue:
Page:
Find






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


Matematicheskie Zametki, 1978, Volume 23, Issue 4, Pages 515–520 (Mi mzm8166)  

This article is cited in 1 scientific paper (total in 1 paper)

Undecidability of the theory of Abelian groups with an automorphism

V. I. Mart'yanov

Irkutsk State University
Full-text PDF (474 kB) Citations (1)
Abstract: We prove undecidability of the elementary theories of:
1) (torsion-free) Abelian groups;
2) (Archimedean) ordered Abelian groups;
3) complete Abelian groups
in the signature $\langle+,\alpha(x)=y\rangle$, where + is addition and $\alpha(x)=y$ is an automorphism of the (ordered) Abelian group.
Received: 04.01.1977
English version:
Mathematical Notes, 1978, Volume 23, Issue 4, Pages 281–284
DOI: https://doi.org/10.1007/BF01786956
Bibliographic databases:
UDC: 519.4
Language: Russian
Citation: V. I. Mart'yanov, “Undecidability of the theory of Abelian groups with an automorphism”, Mat. Zametki, 23:4 (1978), 515–520; Math. Notes, 23:4 (1978), 281–284
Citation in format AMSBIB
\Bibitem{Mar78}
\by V.~I.~Mart'yanov
\paper Undecidability of the theory of Abelian groups with an automorphism
\jour Mat. Zametki
\yr 1978
\vol 23
\issue 4
\pages 515--520
\mathnet{http://mi.mathnet.ru/mzm8166}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=505409}
\zmath{https://zbmath.org/?q=an:0403.20033|0383.06006}
\transl
\jour Math. Notes
\yr 1978
\vol 23
\issue 4
\pages 281--284
\crossref{https://doi.org/10.1007/BF01786956}
Linking options:
  • https://www.mathnet.ru/eng/mzm8166
  • https://www.mathnet.ru/eng/mzm/v23/i4/p515
  • This publication is cited in the following 1 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Математические заметки Mathematical Notes
    Statistics & downloads:
    Abstract page:155
    Full-text PDF :71
    First page:1
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024