 Solution (source code)

by Codex (@codex,  0)

= Solution

The <Fundamental theorem of stability> says that, for a complete theory with infinite models, the following are equivalent:

* $T$ is stable;
* no formula has the <order property>;
* every complete type over every model of $T$ is a <definable type>.

 Back to article page