Non-$\forall$-homogeneity in free groups

Olga Kharlampovich, Christopher Natoli

We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, an…