A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Let Rbe an o-minimal expanion of an ordered group (R, 0, 1, +, <) with distinguished positive element 1. We first prove that the following are equivalent:(1)R is semi-bounded, (2)R has no poles, (3) R cannot define a real closed field with domain R and order <, (4) R is eventually linear and (5) every R-definable set is a finite union of cones. As a corollary we get that T h(R) has quantifier elimination and universal axiomatization in the language with symbols for the ordered group operations,doi:10.1016/s0168-0072(99)00043-3 fatcat:z4ynxuexkbcopl5z5eknfvhdj4