Undecidability of the theory of Abelian groups with an automorphism

  • V. I. Mart'yanov
Article
  • 23 Downloads

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 〈+,α (x) =y〉, where + is addition and α(x) = y is an automorphism of the (ordered) Abelian group.

Keywords

Abelian Group Elementary Theory Complete Abelian Group 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature cited

  1. 1.
    A. I. Mal'tsev, “Some questions on the boundary between algebra and logic,” Proceedings of the International Congress of Mathematicians, Moscow, 1966, Mir, Moscow (1968), pp. 217–231.Google Scholar
  2. 2.
    A. I. Kokorin and V. M. Kopytov, Linearly Ordered Groups [in Russian], Nauka, Moscow (1972).Google Scholar
  3. 3.
    A. M. Slobodskoi and É. I. Fridman, “Theories of Abelian groups with predicates specifying subgroups,” Algebra Logika,14, No. 5, 572–575 (1975).Google Scholar
  4. 4.
    Yu. L. Ershov, “Undecidability of certain fields,” Dokl. Akad. Nauk SSSR,161. No. 1, 27–29 (1965).Google Scholar

Copyright information

© Plenum Publishing Corporation 1978

Authors and Affiliations

  • V. I. Mart'yanov
    • 1
  1. 1.Irkutsk State UniversityUSSR

Personalised recommendations