Teorías O mínimo con orden no denso tipo

Question

En este papel, caballero, Pillay y Steinhorn demuestran que ninguna O mínima estructura $\mathfrak{A}$, en el que los tipos de orden subyacente es denso, y si es mínimo O $\mathfrak{B} \equiv \mathfrak{A}$, entonces el $\mathfrak{B}$. ¿Hay un contraejemplo para cuando el tipo subyacente no es denso? No he sido capaz de construir uno.

Gracias

Answer 1

Pillay y Steinhorn ampliaron el resultado a un mínimo o estructuras de tipo de orden arbitrario en el tercer documento de la serie.