Publication:3537433
From MaRDI portal
zbMath1236.20048MaRDI QIDQ3537433
O. G. Kharlampovich, Alexei G. Myasnikov
Publication date: 6 November 2008
word problem; conjugacy problem; equations over groups; elementary theories; fully residually free groups; solutions of equations; Tarski conjectures; non-Abelian free groups
20A15: Applications of logic to group theory
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
20E05: Free nonabelian groups
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20E26: Residual properties and generalizations; residually finite groups
20F70: Algebraic geometry over groups; equations over groups
Related Items
ON SOLVABILITY OF REGULAR EQUATIONS IN THE VARIETY OF METABELIAN GROUPS, SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY, A polynomial bound on solutions of quadratic equations in free groups.