Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. In fact, it embeds $\mathcal{P}(\omega )/\mathrm{fin}$. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought of as densities of certain regular pairs, in the sense of Szemerédi's regularity lemma. The proof involves ideas from model theory, set theory, and finite combinatorics.

中文翻译：

---

凯斯勒的顺序并不简单（简单的理论也可能不简单）

解决一个几十年前的问题，我们表明 Keisler 1967 年的理论顺序具有最大类数。事实上，它嵌入$\mathcal{磷}(\omega )/\mathrm{鳍}$. 我们建立的理论是简单的不稳定的，没有非平凡的分叉，并反映了序列的增长率，在 Szemerédi 的正则性引理的意义上，这些可以被认为是某些正则对的密度。证明涉及来自模型论、集合论和有限组合学的思想。