The free group has the dimensional order property

Abstract

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.

9 pages

References in corpus (1)

• On groups and fields interpretable in torsion-free hyperbolic groups