We answer a question raised in , that is whether the infinite weight of the generic type of the free group is witnessed in Fω. We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not ℵ1-homogeneous.
"On the generic type of the free group." J. Symbolic Logic 76 (1) 227 - 234, March 2011. https://doi.org/10.2178/jsl/1294170997