Diophantine geometry over groups. V\(_2\): Quantifier elimination. II. (Q2501183): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 03:49, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diophantine geometry over groups. V\(_2\): Quantifier elimination. II. |
scientific article |
Statements
Diophantine geometry over groups. V\(_2\): Quantifier elimination. II. (English)
0 references
4 September 2006
0 references
The paper is the sixth in a sequence [for part IV cf. Isr. J. Math. 143, 1-130 (2004; Zbl 1088.20017)] on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets. The author keeps the notions and notation introduced in the previous paper on quantifier elimination. The sieve procedure is presented that concludes the author's analysis of definable sets, and proves quantifier elimination over a free group. It is shown that the Boolean algebra of \(AE\) sets is invariant under projection.
0 references
equations over groups
0 references
Makanin-Razborov diagrams
0 references
free groups
0 references
limit groups
0 references
first order theories
0 references
quantifier elimination
0 references
elementary sets
0 references
Tarski problems
0 references