Diophantine geometry over groups. V\(_2\): Quantifier elimination. II.

DOI10.1007/s00039-006-0564-9zbMath1118.20034OpenAlexW2054169531MaRDI QIDQ2501183

Zlil Sela

Publication date: 4 September 2006

Published in: Geometric and Functional Analysis. GAFA (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00039-006-0564-9

zbMATH Keywords

quantifier eliminationfree groupsequations over groupslimit groupselementary setsTarski problemsMakanin-Razborov diagramsfirst order theories

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) 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) Diophantine equations in many variables (11D72) Quasivarieties and varieties of groups (20E10) Basic properties of first-order languages and structures (03C07)

Related Items

The free group does not have the finite cover property, Limit groups for relatively hyperbolic groups. I: The basic tools., Elementary theory of free non-abelian groups., Groups acting on hyperbolic spaces -- a survey, On pro-\(p\) analogues of limit groups via extensions of centralizers., Diophantine geometry over groups. VIII: Stability., Subgroup properties of pro-\(p\) extensions of centralizers., Subgroup properties of fully residually free groups, A polynomial bound on solutions of quadratic equations in free groups., A.D. Taimanov and model theory in Kazakhstan