Existence of optimal ultrafilters and the fundamental complexity of simple theories

M. Malliaris, S. Shelah

In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had alrea…