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 elimination; free groups; equations over groups; limit groups; elementary sets; Tarski problems; Makanin-Razborov diagrams; first order theories

Mathematics Subject Classification ID

14A22: Noncommutative algebraic geometry

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)

11D72: Diophantine equations in many variables

20E10: Quasivarieties and varieties of groups

03C07: Basic properties of first-order languages and structures

Related Items

On the Equationally Artinian Groups, On CT and CSA groups and related ideas, Limit groups for relatively hyperbolic groups. I: The basic tools., The free group does not have the finite cover property, Diophantine geometry over groups. VIII: Stability., A.D. Taimanov and model theory in Kazakhstan

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