  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.
