Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
DOI10.1007/BF02803494zbMath1088.20017MaRDI QIDQ1766466
No author found.
Publication date: 7 March 2005
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
quantifier eliminationfree groupsequations over groupselementary setspositive sentencesDiophantine geometry over groupsMakanin-Razborov diagrams: Diophantine setssolutions to systems of equations
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 (21)
Cites Work
This page was built for publication: Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.