Undecidability of the Theory of Abelian Groups with a Subgroup
- 1 February 1976
- journal article
- Published by JSTOR in Proceedings of the American Mathematical Society
- Vol. 55 (1) , 125-128
- https://doi.org/10.2307/2041856
Abstract
The theory of abelian groups with an additional predicate denoting a subgroup is undecidable.Keywords
This publication has 3 references indexed in Scilit:
- Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theoryAnnals of Mathematical Logic, 1971
- Model-completions and modulesAnnals of Mathematical Logic, 1971
- Elementary properties of Abelian groupsFundamenta Mathematicae, 1955