布尔代数视角下的一些简单理论
摘要：Keisler序关于简单一阶理论存在两个自然的家族之间的强分离：反映图序列的理论$T\_mathfrak{m}$，它证明了Keisler序具有最大数目的类；以及理论$T\_{n,k}$，它是无三角形随机图的高阶类比。证明涉及构造布尔代数和滤器，通过手动操作满足某些模型理论上有意义的链条件。这可视为推进一系列工作的一部分，这一系列工作可以追溯到Kunen在ZFC中使用独立函数族构造好滤器的工作。我们还得出了一个关于灵活滤器的定理和一些开放问题。
作者：M. Malliaris and S. Shelah
论文ID：2108.05314
分类：Logic
分类简称：math.LO
提交时间：2023-07-06