The free group has the dimensional order property
classification
🧮 math.LO
math.GR
keywords
dimensionalfreeorderpropertytheoryalephcommonexample
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.