On semibounded expansions of ordered groups

Abstract

We explore semibounded expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle \mathbb R, \lt , +, \ldots \rangle $ is a semibounded o-minimal structure and