Undecidability of the theory of abelian groups with a subgroup (0)

by W Baur
Venue:Proc. Amer. Math. Soc