Around Rubin's "Theories of linear order"

Predrag Tanović, Slavko Moconja, Dejan Ilić

Let $\mathcal{M}=(M,<,...)$ be a linearly ordered first-order structure and $T$ its complete theory. We investigate conditions for $T$ that could guarantee that $\mathcal{M}$ is not…