Groups elementarily equivalent to a free 2-nilpotent group of finite rank.

DOI10.1007/s10469-009-9047-zzbMath1245.20038arXiv0903.2406OpenAlexW2759816791MaRDI QIDQ431679

Alexei G. Myasnikov, Mahmood Sohrabi

Publication date: 29 June 2012

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

Full work available at URL: https://arxiv.org/abs/0903.2406

zbMATH Keywords

free nilpotent groupselementary equivalenceselementarily equivalent groups2-nilpotent groups of finite rank

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Nilpotent groups (20F18)

Related Items

The Diophantine problem in the classical matrix groups, Verbal subgroups of hyperbolic groups have infinite width, Free polynilpotent groups and the Magnus property, Groups elementarily equivalent to a free nilpotent group of finite rank, Complete first-order theories of some classical matrix groups over algebraic integers, ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS

Cites Work

• Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II
• Elementary theory of free non-abelian groups.
• Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
• Elimination of quantifiers for modules
• The model theory of unitriangular groups
• Elementary properties of linear groups and related problems.
• Definable invariants of bilinear mappings
• Combinatorial and logical aspects of linear groups and Chevalley groups.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Diophantine problems over local fields. III: Decidable fields
• Cancellation and Elementary Equivalence of Finitely Generated Finite-By-Nilpotent Groups
• Some model theory of simple algebraic groups over algebraically closed fields
• MM. Borel, Tits, Zil′ber et le Général Nonsense
• Diophantine Problems Over Local Fields I
• The elementary theory of abelian groups
• Elementary properties of Abelian groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item