Elementary equivalence for abelian-by-finite and nilpotent groups

DOI10.2307/2695119zbMath1045.20001OpenAlexW2148558280MaRDI QIDQ2758071

Francis Oger

Publication date: 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695119

zbMATH Keywords

finitely generated groupsBoolean ringsnilpotent groupssolvable groupsAbelian-by-finite groupselementarily equivalent groupssentences

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Other classes of groups defined by subgroup chains (20F22)

Related Items

Quasi-finitely axiomatizable nilpotent groups

Cites Work

• Diophantine induction
• Bounded Boolean powers and \(\equiv_n\)
• The model theory of unitriangular groups
• Elementary equivalence for finitely generated nilpotent groups and multilinear maps