In [11] Sklinos proved that any uncountable free group is not \(\aleph _1\) -homogeneous. This was later generalized by Belegradek in [1] to torsion-free residually finite relatively free groups, leaving open whether the assumption of residual finiteness was necessary. In this paper we use methods arising from the classical analysis of relatively free groups in infinitary logic to answer Belegradek’s question in the negative. Our methods are general and they also apply to varieties with torsion, for example we show that if V contains a finite non-nilpotent group, then any uncountable V-free group is not \(\aleph _1\) -homogeneous.
