The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations

DOI10.1007/BF01668811zbMath0386.03014MaRDI QIDQ1249571

Vladimir Ivanovich Mart'yanov

Publication date: 1976

Published in: Algebra and Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

03C60: Model-theoretic algebra

03B25: Decidability of theories and sets of sentences

20K99: Abelian groups

Related Items

Model-theoretic and algorithmic questions in group theory, Undecidable L^t theories of topological abelian groups

Cites Work

• Completeness and persistence in the theory of models
• Unnamed Item