Submission date: 24 April 2016

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 ℵ_1-saturated models of this theory.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1604.07034: pdf, ps.