Decidability and undecidability of theories of abelian groups with predicates for subgroups Walter Baur (1975) Compositio Mathematica