What is o-minimality?

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 ominimality 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.

• Type: Journal
• Year: 2008
• Where: APAL
• Authors: Harvey M. Friedman
• Keywords: APAL 2008, Arbitrary Ordered Ring, Non Oscillatory Behavior, O-minimal Expansions