The free group has the dimensional order property
  We prove that the common theory of nonabelian free groups has the dimensional order property, or DOP, implying, for example, that there is no reasonable structure theorem for $\aleph_1$-saturated models of this theory. 
Anand Pillay, Rizos Sklinos
math.LO math.GR