Abstract:This paper is devoted to the first-order theories of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept is that of a tower (Sela) or NTQ system (Kharlampovich-Myasnikov). We discuss them thoroughly. We state and prove a new general theorem which unifies several results in the literature: elementarily equivalent torsion-free hyperbolic groups have isomorphic cores (Sela); if H H is elementarily embedded in a torsion-free hyperbolic group G G , then G G is a tower over H H relative to H H (Perin); free groups (Perin-Sklinos, Ould-Houcine), and more generally free products of prototypes and free groups, are homogeneous. The converse to Sela and Perin’s results just mentioned is true. This follows from the solution to Tarski’s problem on elementary equivalence of free groups, due independently to Sela and Kharlampovich-Myasnikov, which we treat as a black box throughout the paper. We present many examples and counterexamples, and we prove some new model-theoretic results. We characterize prime models among torsion-free hyperbolic groups, and minimal models among elementarily free groups. Using Fraïssé’s method, we associate to every torsion-free hyperbolic group H H a unique homogeneous countable group M {\mathcal {M}} in which any hyperbolic group H ′ H’ elementarily equivalent to H H has an elementary embedding. In an appendix we give a complete proof of the fact, due to Sela, that towers over a torsion-free hyperbolic group H H are H H -limit groups.

Elementary embeddings in torsion-free hyperbolic groups

Towers and elementary embeddings in toral relatively hyperbolic groups

Towers and the First-order Theories of Hyperbolic Groups

Embeddings of Kleinian Groups with Torsion

Towers and the first-order theory of hyperbolic groups

On groups and fields interpretable in torsion-free hyperbolic groups

Homogeneity of torsion-free hyperbolic groups

Elementary subgroups of the free group are free factors - a new proof

On coarse embeddings of amenable groups into hyperbolic graphs

Generalized torsion elements and hyperbolic links

From pure braid groups to hyperbolic groups

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order

Semistable torsion classes and canonical decompositions in Grothendieck groups

Algebraically hyperbolic groups

Controlled embeddings into groups that have no non-trivial finite quotients

Elementary divisors, Hochster duality, and spectra

Oriented embedding functors of tori as homogeneous spaces

On elementary invariants of genus one knots and Seifert surfaces

The Uniqueness Of Elementary Embeddings

Embeddings of maximal tori in classical groups and explicit Brauer-Manin obstruction

Generalized torsion elements in the fundamental groups of once punctured torus bundles