Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.

DOI10.1007/BF02762378zbMath1148.20022MaRDI QIDQ2382256

Zlil Sela

Publication date: 28 September 2007

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

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., On CT and CSA groups and related ideas, Groups acting on hyperbolic spaces -- a survey, Diophantine geometry over groups. VIII: Stability., A.D. Taimanov and model theory in Kazakhstan, On the Equationally Artinian Groups

Cites Work

• Unnamed Item
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Subgroups of Surface Groups are Almost Geometric