The Fundamental theorem of stability says that, for a complete theory with infinite models, the following are equivalent:
- is stable;
- no formula has the order property;
- every complete type over every model of is a definable type.
Articles by others on the same topic
There are currently no matching articles.