Diophantine geometry over groups. V\(_1\): Quantifier elimination. I.
Publication:2382256
DOI10.1007/BF02762378zbMath1148.20022MaRDI QIDQ2382256
Publication date: 28 September 2007
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
quantifier eliminationfree groupsequations over groupslimit groupselementary setsTarski problemsMakanin-Razborov diagramsfirst order theories
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
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