Fundamental theorem of stability
= Fundamental theorem of stability
For a complete theory, the following are equivalent: the theory is stable; no formula has the <order property>; and every complete type over every model is definable.
= Fundamental theorem of stability
For a complete theory, the following are equivalent: the theory is stable; no formula has the <order property>; and every complete type over every model is definable.