Strong theories of ordered abelian groups

By A. Dolich, John Goodrick. 2015

52 citations recorded by the source corpus.

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.

Subfields: Computational Theory and Mathematics, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/5c7bafc0f10c54bba4f1e6fddd37af197d305321