# Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups

@article{Louder2013HyperbolicTA, title={Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups}, author={Larsen Louder and Chlo{\'e} Perin and Rizos Sklinos}, journal={Notre Dame J. Formal Log.}, year={2013}, volume={54}, pages={521-539} }

We use hyperbolic towers to answer some model-theoretic questions around the generic type in the theory of free groups. We show that all the finitely generated models of this theory realize the generic type p0 but that there is a finitely generated model which omits p(2)0. We exhibit a finitely generated model in which there are two maximal independent sets of realizations of the generic type which have different cardinalities. We also show that a free product of homogeneous groups is not…

## 10 Citations

### Maximal hyperbolic towers and weight in the theory of free groups

- MathematicsMathematical Proceedings of the Cambridge Philosophical Society
- 2019

Abstract We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: we construct examples of groups having hyperbolic tower structures…

### Maximal hyperbolic towers and weight in the theory of free groups

- Mathematics
- 2019

We show that in general for a given group the structure of a maximal hyperbolic tower over a free group is not canonical: We construct examples of groups having hyperbolic tower structures over free…

### On groups and fields interpretable in torsion-free hyperbolic groups

- Mathematics
- 2012

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other…

### DEFINABLY SIMPLE STABLE GROUPS WITH FINITARY GROUPS OF AUTOMORPHISMS

- MathematicsThe Journal of Symbolic Logic
- 2019

Abstract We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on…

### Towers and the first-order theory of hyperbolic groups

- Mathematics
- 2020

This paper is devoted to the first-order theory 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…

### On ampleness and pseudo-Anosov homeomorphisms in the free group

- Mathematics
- 2014

We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first-order theory of non-Abelian free groups, Tfg, is n-ample for any n \in w. This result adds to the work of Pillay,…

### Forking and JSJ decompositions in the free group

- Mathematics
- 2013

We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.

### Forking and JSJ decompositions in the free group II

- MathematicsJournal of the London Mathematical Society
- 2020

We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the JSJ decompositions relative to those parameters.

### Groupes hyperboliques et logique du premier ordre

- Philosophy
- 2019

Deux groupes sont dits elementairement equivalents s'ils satisfont les memes enonces du premier ordre dans le langage des groupes. Aux environs de l'annee 1945, Tarski posa la question suivante,…

## References

SHOWING 1-10 OF 16 REFERENCES

### On the generic type of the free group

- MathematicsThe Journal of Symbolic Logic
- 2011

It is proved that the set of primitive elements in finite rank free groups is not uniformly definable and that uncountable free groups are not ℵ1-homogeneous.

### Diophantine geometry over groups VII: The elementary theory of a hyperbolic group

- Mathematics
- 2009

This paper generalizes our work 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 embeddings in torsion-free hyperbolic groups

- Mathematics
- 2009

We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We…

### Homogeneity in the free group

- Mathematics
- 2010

We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under…

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

- Mathematics
- 2006

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…

### Diophantine geometry over groups VIII: Stability

- Mathematics
- 2006

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…

### Classification theory - and the number of non-isomorphic models, Second Edition

- MathematicsStudies in logic and the foundations of mathematics
- 1990

### Erratum to: “Elementary embeddings in torsion-free hyperbolic groups”

- Mathematics
- 2013

The notations adopted are those of [Per11]. Proposition 5.11 of [Per11] states that if a torsion-free hyperbolic group A admits a cyclic JSJ-like decomposition Λ, and a non injective morphism f : A →…

### On genericity and weight in the free group

- Mathematics
- 2008

AbstractWe prove that the generic type of the (theory of the) free group F n on n ≥ 2 generators has inﬁnite weight, strengthening the well-knownresult that these free groups are not superstable. A…

### Diophantine geometry over groups I: Makanin-Razborov diagrams

- Mathematics
- 2001

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…