scientific article; zbMATH DE number 4168942

MaRDI QIDQ3496404zbMATH OpenFDO

Authors Alexei Myasnikov, Vladimir Remeslennikov

Publication date 1987

zbMATH Keywords

elementary equivalentfree A-operator groupfree grouplength functionmodelpredicateregular definability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Elementary group equivalence with the integral length function
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• scientific article; zbMATH DE number 1567880
• scientific article; zbMATH DE number 818365
• Aspects of free groups.

Cited in

(2)

• Elementary group equivalence with the integral length function
• scientific article; zbMATH DE number 7120897 (Why is no real title available?)

This page was built for publication:

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