Abstract.
This paper is the sixth in a sequence 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 defined over a free group. In the sixth paper we use the quantifier elimination procedure presented in the two parts of the fifth paper in the sequence, to answer some of A. Tarski’s problems on the elementary theory of a free group, and to classify finitely generated (f.g.) groups that are elementarily equivalent to a non-abelian f.g. free group.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Received (resubmission): January 2004 Revision: January 2006 Accepted: January 2006
Partially supported by an Israel Academy of Sciences fellowship.
Rights and permissions
About this article
Cite this article
Sela, Z. Diophantine geometry over groups VI: the elementary theory of a free group. GAFA, Geom. funct. anal. 16, 707–730 (2006). https://doi.org/10.1007/s00039-006-0565-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-006-0565-8
Keywords and phrases.
- First order theory
- Tarski problem
- quantifier elimination
- elementary equivalence
- limit groups
- ω-residually free towers