Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
zbMATH Open1236.20048MaRDI QIDQ3537433FDOQ3537433
Authors: Olga Kharlampovich, Alexei Myasnikov 
Publication date: 6 November 2008
Recommendations
- scientific article; zbMATH DE number 2070157
- The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
- Tarski’s problem about the elementary theory of free groups has a positive solution
- Diophantine geometry over groups. VI: The elementary theory of a free group.
- scientific article; zbMATH DE number 1789956
conjugacy problemequations over groupsword problemelementary theoriesfully residually free groupssolutions of equationsTarski conjecturesnon-Abelian free groups
Model-theoretic algebra (03C60) Free nonabelian groups (20E05) Residual properties and generalizations; residually finite groups (20E26) Decidability of theories and sets of sentences (03B25) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Algebraic geometry over groups; equations over groups (20F70) Applications of logic to group theory (20A15)
Cited In (15)
- Title not available (Why is that?)
- On systems of equations over free products of groups.
- Elementary theory of free non-abelian groups.
- Groups, Algebras and Applications
- Equations in algebras
- The elementary theory of groups. A guide through the proofs of the Tarski conjectures.
- Title not available (Why is that?)
- A polynomial bound on solutions of quadratic equations in free groups.
- Title not available (Why is that?)
- SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
- Implicit function theorem over free groups.
- ON SOLVABILITY OF REGULAR EQUATIONS IN THE VARIETY OF METABELIAN GROUPS
- First-order theories and Tarski problems
- On elementary theories of algebraically closed groups
- Model theory and algebraic geometry in groups, non-standard actions and algorithmic problems
This page was built for publication: Equations and algorithmic problems in groups. Paper from the XXth school of algebra, Rio de Janeiro, Brazil, August 2008.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3537433)
