Theories of Abelian groups with predicates specifying a subgroup

DOI10.1007/BF01668813zbMath0386.03015MaRDI QIDQ1249572

K. Appert

Publication date: 1976

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

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Abelian groups (20K99)

Related Items (4)

Undecidable theories of valuated abelian groups ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Undecidable L^t theories of topological abelian groups ⋮ Model-theoretic and algorithmic questions in group theory

Cites Work

• Unnamed Item

This page was built for publication: Theories of Abelian groups with predicates specifying a subgroup