Diophantine geometry over groups. V₁: Quantifier elimination. I.

DOI10.1007/BF02762378MaRDI QIDQ2382256zbMATH OpenFDO

Authors Zlil Sela

Publication date 28 September 2007

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

Full work available at URL https://doi.org/10.1007/BF02762378

zbMATH Keywords

elementary setsequations over groupsfirst order theoriesfree groupslimit groupsMakanin-Razborov diagramsquantifier eliminationTarski problems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Model-theoretic algebra (03C60) Diophantine equations in many variables (11D72) Noncommutative algebraic geometry (14A22) Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Quasivarieties and varieties of groups (20E10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Recommendations

• Diophantine geometry over groups. V\(_2\): Quantifier elimination. II.
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• Diophantine geometry over groups. III: Rigid and solid solutions.
• scientific article; zbMATH DE number 1789956

Cites work

• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
• scientific article; zbMATH DE number 3987554 (Why is no real title available?)
• Subgroups of Surface Groups are Almost Geometric

Cited in

(15)

• The elementary theory of \(\omega\)-free \(Ax\) fields
• The free group does not have the finite cover property
• 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. VIII: Stability.
• A.D. Taimanov and model theory in Kazakhstan
• Diophantine geometry over groups. III: Rigid and solid solutions.
• Diophantine geometry over groups. V\(_2\): Quantifier elimination. II.
• Diophantine geometry over groups. VI: The elementary theory of a free group.
• On CT and CSA groups and related ideas
• On the Equationally Artinian Groups
• Groups acting on hyperbolic spaces -- a survey
• On systems of equations over free products of groups.
• Fields interpretable in the free group
• Limit groups for relatively hyperbolic groups. I: The basic tools.

This page was built for publication: Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2382256)