Undecidability of the theory of Abelian groups with an automorphism
- 24 Downloads
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.
KeywordsAbelian Group Elementary Theory Complete Abelian Group
Unable to display preview. Download preview PDF.
- 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.A. I. Kokorin and V. M. Kopytov, Linearly Ordered Groups [in Russian], Nauka, Moscow (1972).Google Scholar
- 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.Yu. L. Ershov, “Undecidability of certain fields,” Dokl. Akad. Nauk SSSR,161. No. 1, 27–29 (1965).Google Scholar