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!