Remarks on the strict order property
Karim Khanaki · arXiv (Cornell University) · 2019
A well-known theorem of Shelah asserts that a theory has $OP$ (the order property) if and only if it has $IP$ (the independence property) or $SOP$ (the strict order property). We give a mild strengthening of Shelah's theorem for classical logic and a generalization of his theorem for continuous logic.