Elementary group equivalence with the integral length function
zbMath0591.20039MaRDI QIDQ1074717
Vladimir N. Remeslennikov, Alexei G. Myasnikov
Publication date: 1986
Published in: Illinois Journal of Mathematics (Search for Journal in Brave)
free productslength functionpolycyclic groupselementary equivalenceChernikov groupsformula definablefree groups with operatorsfree operator groupsmulti-base modelsrational coordinatizationregular definabilitytorsion- free solvable groups
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items (2)
This page was built for publication: Elementary group equivalence with the integral length function