Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
From MaRDI portal
Publication:1052463
DOI10.1007/BF00971290zbMath0516.20022OpenAlexW2008469702MaRDI QIDQ1052463
Alexei G. Myasnikov, Vladimir N. Remeslennikov
Publication date: 1982
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00971290
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Nilpotent groups (20F18) Derived series, central series, and generalizations for groups (20F14)
Related Items (8)
Groups with exponents. I: Fundamentals of the theory and tensor completions ⋮ Groups elementarily equivalent to a free 2-nilpotent group of finite rank. ⋮ Groups elementarily equivalent to a free nilpotent group of finite rank ⋮ Definable invariants of bilinear mappings ⋮ The theory of models of bilinear mappings ⋮ Formularity of sets of Mal'tsev bases, and elementary theories of finite- dimensional algebras. II ⋮ Model-theoretic and algorithmic questions in group theory ⋮ On stable torsion-free nilpotent groups
Cites Work
This page was built for publication: Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
