A structure theorem for semibounded sets in the reals (Q4032861)

We continue in this paper the investigation of additive structures over the reals, i.e. structures of the form \(\langle\mathbb{R},<,+,\dots\rangle\). A set \(X\subseteq\mathbb{R}^ n\) is called semibounded if it is first-order definable using the additive structure of the reals together with a bounded subset of \(\mathbb{R}^ n\). We prove that a semibounded set that is definable in certain \(o\)-minimal expansions of the real field can be partitioned into finitely many sets, each of which is a direct sum of a semilinear set and a bounded set. As a result we obtain several characterizations of semibounded sets in terms of their definability strength. We also prove a quantifier elimination result for such sets. Taken together with an earlier paper, with \textit{D. Marker} and \textit{A. Pillay} [ibid. 57, 109-117 (1992)], it follows that there is a unique proper reduct of the real field which properly expands the additive structure of the reals. This and other related results appear in a subsequent paper by the author [``Reducts of some structures over the reals'', J. Symb. Logic (to appear)].