Strong theories of ordered abelian groups
Logic
2016-05-12 v3
Abstract
We consider strong expansions of the theory of ordered abelian groups. We show that the assumption of strength has a multitude of desirable consequences for the structure of definable sets in such theories, in particular as relates to definable infinite discrete sets. We also provide a range of examples of strong expansions of ordered abelian groups which demonstrate the great variety of such theories.
Keywords
Cite
@article{arxiv.1511.08274,
title = {Strong theories of ordered abelian groups},
author = {Alfred Dolich and John Goodrick},
journal= {arXiv preprint arXiv:1511.08274},
year = {2016}
}
Comments
34 pages