On expansions of non-abelian free groups by cosets of a finite index subgroup

Javier de la Nuez González

Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language o…