Diophantine geometry over groups VI: the elementary theory of a free group

@article{Sela2006DiophantineGO,
  title={Diophantine geometry over groups VI: the elementary theory of a free group},
  author={Zlil Sela},
  journal={Geometric \& Functional Analysis GAFA},
  year={2006},
  volume={16},
  pages={707-730}
}
  • Z. Sela
  • Published 29 June 2006
  • Mathematics
  • Geometric & Functional Analysis GAFA
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… 
Diophantine Geometry over Groups X: The Elementary Theory of Free Products of Groups
This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over
Diophantine geometry over groups VIII: Stability
This paper is the eighth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of
Diophantine Geometry over Groups IX: Envelopes and Imaginaries
This paper is the ninth in a sequence on the structure of sets of solutions to systems of equations in free and hyperbolic groups, projections of such sets (Diophantine sets), and the structure of
On Systems of Equations over Free Products of Groups
Subgroups Of Direct Products Of Elementarily Free Groups
Abstract.The structure of groups having the same elementary theory as free groups is now known: they and their finitely generated subgroups form a prescribed subclass $${\mathcal{E}}$$ of the
Limit groups for relatively hyperbolic groups. I. The basic tools
We begin the investigation of -limit groups, where is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of (16), we adapt the re- sults
Algebraic Geometry over Free Groups: Lifting Solutions into Generic Points
In this paper we prove Implicit Function Theorems (IFT) for al- gebraic varieties defined by regular quadratic equations and, more generally, regular NTQ systems over free groups. In the model
Orderable groups, elementary theory, and the Kaplansky conjecture
TLDR
It is shown that each of the classes of left-orderable groups and orderable groups is a quasivariety with undecidable theory and an explicit set of universal axioms is found.
Equations and algebraic geometry over profinite groups
The notion of an equation over a profinite group is defined, as well as the concepts of an algebraic set and of a coordinate group. We show how to represent the coordinate group as a projective limit
On subdirect products of type FP m of limit groups
Abstract We show that limit groups are free-by-(torsion-free nilpotent) and have non-positive Euler characteristic. We prove that for any non-abelian limit group the Bieri–Neumann–Strebel–Renz
...
1
2
3
4
5
...

References

SHOWING 1-6 OF 6 REFERENCES
Diophantine geometry over groups III: Rigid and solid solutions
This paper is the third in a series 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
Diophantine geometry over groups V1: Quantifier elimination I
This paper is the first part (out of two) of the fifth paper 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
Diophantine geometry over groups I: Makanin-Razborov diagrams
This paper is the first 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
Diophantine geometry over groups IV: An iterative procedure for validation of a sentence
This paper is the fourth in a series 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
Elementary properties of free groups
In this paper we show that several classes of elementary properties (properties definable by sentences of a first order logic) of groups hold for all nonabelian free groups. These results are
Cyclic Splittings of Finitely Presented Groups and the Canonical JSJ-Decomposition
The classification of stable actions of finitely presented groups on ℝ-trees has found a number of applications. Perhaps one of the most striking of these applications is the theory of canonical