A characterization of strongly dependent ordered Abelian groups
Logic
2017-07-21 v1
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\'e.
Keywords
Cite
@article{arxiv.1707.06344,
title = {A characterization of strongly dependent ordered Abelian groups},
author = {Alfred Dolich and John Goodrick},
journal= {arXiv preprint arXiv:1707.06344},
year = {2017}
}
Comments
15 pages