Order property implies instability
ID: order-property-implies-instability
If a theory has the order property, a linear order with more than cuts over a dense subset of size at most produces more than distinct types over that subset. Hence a theory with the order property is not -stable for any .
New to topics? Read the docs here!