DISCRETE SETS DEFINABLE IN STRONG EXPANSIONS OF ORDERED ABELIAN GROUPS
DISCRETE SETS DEFINABLE IN STRONG EXPANSIONS OF ORDERED ABELIAN GROUPS
Abstract We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with a particular emphasis on the set $D'$ comprised of differences between successive elements. In particular, if the burden of the structure is at most n …