On ampleness and pseudo-Anosov homeomorphisms in the free group

Abstract

We use pseudo-Anosov homeomorphisms of surfaces in order to prove that the first-order theory of non-Abelian free groups, T_{fg}, is n-ample for any n \in \omega. This result adds to the work of Pillay, which proved that T_{fg} is non-CM-trivial. The sequence witnessing ampleness is a sequence of primitive elements in F_{\omega}. Our result provides an alternative proof to the main result of a recent preprint by Ould Houcine and Tent.