Ampleness in the free group
arXiv:1205.0929
Abstract
We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is -ample for any . We give also an explicit description of the imaginary algebraic closure in free groups.