Publication:3877660
From MaRDI portal
zbMath0437.03014MaRDI QIDQ3877660
Publication date: 1980
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03C45: Classification theory, stability, and related concepts in model theory
03C35: Categoricity and completeness of theories
Related Items
On the undecidability of some classes of abelian-by-finite groups, Preservation of stability under finite extension of a group