Keisler 序不简单（简单理论也可能不简单）
逻辑
2021-08-12 v4 组合数学
摘要
通过解决一个数十年之久的问题，我们表明 Keisler 1967 年关于理论的序具有最大数量的类。我们构建的理论是简单不稳定的，没有非平凡分叉，并反映了序列的增长率，这些增长率可被视为某些正则对的密度，在 Szemerédi 正则引理的意义下。证明涉及模型论、集合论和有限组合学的思想。
引用
@article{arxiv.1906.10241,
title = {Keisler's order is not simple (and simple theories may not be either)},
author = {M. Malliaris and S. Shelah},
journal= {arXiv preprint arXiv:1906.10241},
year = {2021}
}
备注
[MiSh:1167]