Publication:3496404
From MaRDI portal
zbMath0711.20022MaRDI QIDQ3496404
Alexei G. Myasnikov, Vladimir N. Remeslennikov
Publication date: 1987
free grouplength functionmodelpredicateelementary equivalentregular definabilityfree A-operator group
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Generators, relations, and presentations of groups (20F05) Classical first-order logic (03B10) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Interpolation, preservation, definability (03C40)
Related Items