O-minimal Theories with Non-Dense Order Type

85 Views Asked by At

In this paper, Knight, Pillay, and Steinhorn prove that for any O-minimal structure $\mathfrak{A}$, in which the underlying order types is dense, and if $\mathfrak{B} \equiv \mathfrak{A}$, then $\mathfrak{B}$ is also O-minimal. Is there a counterexample for when the underlying order type is not dense? I haven't been able to construct one.

Thanks

1

There are 1 best solutions below

3
On BEST ANSWER

Pillay and Steinhorn extended the result to o-minimal structures of arbitrary order-type in the third paper in the series.