Abstract :
If n-tuples in a rank 2 free group satisfy the same existential formulas, then there is an automorphism taking to . Fix a prime p. Then Fk is, up to isomorphism, the only k-generated group having all finite k-generated p-groups as homomorphic images. The theory of non-Abelian free groups has no prime model.
