Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.

DOI10.1007/BF02803494zbMath1088.20017MaRDI QIDQ1766466

Zlil Sela

Publication date: 7 March 2005

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

zbMATH Keywords

quantifier elimination; free groups; equations over groups; elementary sets; positive sentences; Diophantine geometry over groups; Makanin-Razborov diagrams: Diophantine sets; solutions to systems of equations

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

ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS, LIMIT GROUPS ARE CONJUGACY SEPARABLE, Automorphisms of groups and a higher rank JSJ decomposition. I: RAAGs and a higher rank Makanin-Razborov diagram, On CT and CSA groups and related ideas, A note on Lyndon properties in one-relator groups., On pro-\(p\) analogues of limit groups via extensions of centralizers., On systems of equations over free products of groups., Limit groups for relatively hyperbolic groups. I: The basic tools., Elementary theory of free non-abelian groups., Diophantine geometry over groups. VIII: Stability., Some lower bounds on Shelah rank in the free group, A.D. Taimanov and model theory in Kazakhstan, Diophantine geometry over groups. III: Rigid and solid solutions., Diophantine geometry over groups. V\(_1\): Quantifier elimination. I., Subgroup properties of pro-\(p\) extensions of centralizers., A polynomial bound on solutions of quadratic equations in free groups., Subgroup properties of fully residually free groups, On Turner’s theorem and first-order theory, Quadratic properties in group amalgams, On Some Finiteness Properties in Infinite Groups

Cites Work

• 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