Diophantine geometry over groups. V\(_2\): Quantifier elimination. II. (Q2501183)

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.