scientific article

zbMath1236.20048MaRDI QIDQ3537433

O. G. Kharlampovich, Alexei G. Myasnikov

Publication date: 6 November 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

word problemconjugacy problemequations over groupselementary theoriesfully residually free groupssolutions of equationsTarski conjecturesnon-Abelian free groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Residual properties and generalizations; residually finite groups (20E26) Algebraic geometry over groups; equations over groups (20F70)

Related Items (3)

SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY ⋮ ON SOLVABILITY OF REGULAR EQUATIONS IN THE VARIETY OF METABELIAN GROUPS ⋮ A polynomial bound on solutions of quadratic equations in free groups.

This page was built for publication: