Grzegorz Jagiella

On canonicity of almost linear minimal orders

We prove that if a minimal ordered structure $(M,<, \ldots)$ with infinite chains in an arbitrary language extending the language of strict orders interprets (in some power $M^n$) the linear order $(\omega,<)$, then this fact can be witnessed for $n=1$ via the incomparability relation of an $<$-definable strict order $...