A characterization of strongly dependent ordered Abelian groups
arXiv:1707.06344
Abstract
We characterize all ordered Abelian groups whose first order theory in the language {+,<} is strongly dependent. The main result of this note was obtained independently by Halevi-Hasson and Farré.
15 pages