|
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
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
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
Linking options:
https://www.mathnet.ru/eng/mzm8166 https://www.mathnet.ru/eng/mzm/v23/i4/p515
|
Statistics & downloads: |
Abstract page: | 155 | Full-text PDF : | 71 | First page: | 1 |
|