Abstract

We characterize the o-minimal expansions of the ring of real numbers, in mathematically transparent terms. This should help bridge the gap between investigators in o-minimality and mathematicians unfamiliar with model theory, who are concerned with such notions as non oscillatory behavior, tame topology, and analyzable functions. We adapt the characterization to the case of o-minimal expansions of an arbitrary ordered ring