Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
DOI10.1007/BF02803494zbMath1088.20017MaRDI QIDQ1766466
Publication date: 7 March 2005
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
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
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
Cites Work