0403c295a9e485d2.tex
1: \begin{abstract}
2: 
3: We study the structure of infinite discrete sets $D$ definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set $D'$ comprised of differences between successive elements. In particular, if the burden of the structure is at most $n$, then the result of applying the operation $D \mapsto D'$ $n$ times must be a finite set (Theorem~\ref{finite_diff_set}). In the case when the structure is densely ordered and has burden $2$, we show that any definable unary discrete set must be definable in some elementary extension of the structure $\langle \R; <, +, \Z\rangle$ (Theorem~\ref{def_in_G}).
4: 
5: \end{abstract}
6: