La (Gromov-)hiperbolicidad de un grupo ha sido uno de los invariantes a gran escala más usados en la Teoría Geométrica de Grupos por todas las propiedades algebraicas que se obtienen a partir de esta condición geométrica. Sela (2009) y André (2020) demuestran que contrario a una primera vista, esta condición geométrica resulta ser un invariante lógico de primer orden, es decir, si dos grupos finitamente generados tienen la misma teoría de primer orden, entonces uno es hiperbólico si y sólo si el otro lo es también. En este seminario de lectura se estudiarán estos artículos, teniendo como objetivo que los estudiantes entiendan las técnicas y filosofías usadas. Esto con una posibilidad de empujar este resultado para otros conceptos de curvatura negativa en grupos.