Order property implies instability (source code)

= Order property implies instability

If a theory has the order property, a linear order with more than $\kappa$ cuts over a dense subset of size at most $\kappa$ produces more than $\kappa$ distinct types over that subset. Hence a theory with the order property is not $\kappa$-stable for any $\kappa\geq|T|$.