Elementary group equivalence with the integral length function

MaRDI QIDQ1074717zbMATH OpenFDO

Authors Alexei Myasnikov, Vladimir Remeslennikov

Publication date 1986

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Chernikov groupselementary equivalenceformula definablefree groups with operatorsfree operator groupsfree productslength functionmulti-base modelspolycyclic groupsrational coordinatizationregular definabilitytorsion- free solvable groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) 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)

Recommendations

• Publication:3496404
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Equivalence Classes of Length Functions on Groups
• scientific article; zbMATH DE number 1567880
• scientific article; zbMATH DE number 4055859

Cited in

(3)

• Admissible sets in group theory
• Categoricity of finitely generated algebraic systems in HF-logic
• scientific article; zbMATH DE number 4168942 (Why is no real title available?)

This page was built for publication: Elementary group equivalence with the integral length function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1074717)