We answer a question raised in [9], 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 N₁-homogeneous.

A type analysable in one-based types in a simple theory is itself one-based.

A type analysable in one-based types in a simple theory is itself one-based.