Towers and elementary embeddings in toral relatively hyperbolic groups

Christopher Perez

In a remarkable series of papers, Zlil Sela classified the first-order theories of free groups and torsion-free hyperbolic groups using geometric structures he called towers. It wa…