The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup

This publication has 8 references indexed in Scilit:

• Undecidability of the theory of abelian groups with a subgroup
  Proceedings of the American Mathematical Society, 1976
• Undecidability of the Theory of Abelian Groups with a Subgroup
  Proceedings of the American Mathematical Society, 1976
• Theories of Abelian groups with predicates specifying a subgroup
  Algebra and Logic, 1975
• The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations
  Algebra and Logic, 1975
• Proof of a lemma on model completeness
  Algebra and Logic, 1975
• Theorien abelscher Gruppen mit einem einstelligen Prädikat
  Fundamenta Mathematicae, 1973
• The elementary theory of abelian groups
  Annals of Mathematical Logic, 1972
• Elementary properties of Abelian groups
  Fundamenta Mathematicae, 1955