Undecidability of the theory of abelian groups with a subgroup

Undecidability of the theory of abelian groups with a subgroup
HTML articles powered by AMS MathViewer

by Walter Baur PDF

Proc. Amer. Math. Soc. 55 (1976), 125-128 Request permission

The theory of abelian groups with an additional predicate denoting a subgroup is undecidable.

References

Walter Baur, $\aleph _{0}$-categorical modules, J. Symbolic Logic 40 (1975), 213–220. MR 369047, DOI 10.2307/2271901
Martin Davis, Computability and unsolvability, McGraw-Hill Series in Information Processing and Computers, McGraw-Hill Book Co., Inc., New York-Toronto-London, 1958. MR 0124208
Paul Eklof and Gabriel Sabbagh, Model-completions and modules, Ann. Math. Logic 2 (1970/71), no. 3, 251–295. MR 277372, DOI 10.1016/0003-4843(71)90016-7
G. T. Kozlov and A. I. Kokorin, An elementary theory of torsion-free abelian groups with a predicate that distinguishes a subgroup, Algebra i Logika 8 (1969), 320–334 (Russian). MR 0258617
Saharon Shelah, Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory, Ann. Math. Logic 3 (1971), no. 3, 271–362. MR 317926, DOI 10.1016/0003-4843(71)90015-5
W. Szmielew, Elementary properties of Abelian groups, Fund. Math. 41 (1955), 203–271. MR 72131, DOI 10.4064/fm-41-2-203-271