[论文解读] A topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes

Christian Espíndola|arXiv (Cornell University)|Jun 21, 2019

Advanced Topology and Set Theory被引用 1

一句话总结

该论文在GCH和可测基数的假设下，通过拓扑斯理论证明了抽象模型类（AECs）的Shelah最终分类性猜想。研究证明，若在两个足够大的基数上分类，则在两者之间的所有基数上也分类，从而得出最终分类性；若加强了的并合性质成立，则大基数假设可被移除。

ABSTRACT

Assuming $GCH$ and that there is a measurable cardinal, we give a topos-theoretic proof of Shelah's eventual categoricity conjecture for abstract elementary classes (AEC's). We also show that the large cardinal assumption can be spared assuming instead that the AEC satisfies a certain version of the amalgamation property, which together with categoricity in a high enough cardinal is actually equivalent to eventual categoricity. This improves the state of knowledge about the open problems stated by Shelah, including one for $\mathcal{L}_{\omega_1, \omega}$ sentences, dating back to the 1970's. Using results of Kueker about the axiomatization of AEC's in infinitary logic, we then use the machinery of categorical logic to study the problem of eventual categoricity. By means of a topos-theoretic characterization of $\kappa$-categorical theories, together with some results on $\kappa$-classifying toposes, we then prove under our assumptions that if an AEC is categorical in two cardinals, it is also categorical in all cardinals in between. As a corollary we get information about the categoricity spectrum of an AEC, and using Hanf numbers, we also get eventual categoricity.

研究动机与目标

• 通过拓扑斯理论方法证明抽象模型类的Shelah最终分类性猜想。
• 通过证明大基数假设可被加强的并合性质替代，减少证明中所需的大基数假设。
• 通过拓扑斯理论工具和无穷逻辑刻画AEC的分类性谱。
• 建立在两个高基数上分类性蕴含在两者之间所有基数上分类性的结论。
• 应用Hanf数论证，从在两个足够大的基数上分类性推导出最终分类性。

提出的方法

• 利用κ-分类理论的拓扑斯理论刻画来分析AEC中的分类性。
• 利用κ-分类拓扑斯结果，将模型论的分类性与范畴逻辑联系起来。
• 应用Kueker关于AEC在无穷逻辑中公理化的研究成果，将AEC嵌入一个适合拓扑斯理论分析的逻辑框架中。
• 利用GCH和可测基数假设，建立合适的分类拓扑斯的存在性。
• 在加强的并合性质下分析AEC的结构，以消除对大基数的依赖。
• 应用Hanf数技术，从在两个足够大的基数上分类性推断出最终分类性。

实验结果

研究问题

• RQ1 在何种条件下，可利用拓扑斯理论方法证明AEC的Shelah最终分类性猜想？
• RQ2 能否从AEC最终分类性的证明中移除可测基数假设？
• RQ3 在AEC中，两个足够大的基数上的分类性是否足以推出两者之间所有基数上的分类性？
• RQ4 κ-分类理论的拓扑斯理论刻画如何与AEC的分类性谱相关联？
• RQ5 并合性质在弱化大基数假设以实现最终分类性中起什么作用？

主要发现

• 若一个AEC在两个足够大的基数上分类，在GCH和可测基数存在的假设下，它在两者之间的所有基数上也分类。
• 大基数假设可被一个加强的并合性质替代，该性质在与足够高的基数上分类性结合时，等价于最终分类性。
• 在两个高基数上分类性蕴含在两者之间所有基数上分类性，从而导致最终分类性。
• 在给定假设下，AEC的分类性谱完全由其在两个足够大的基数上的分类性决定。
• 通过Hanf数方法，即使在不依赖可测基数假设的情况下，只要并合性质成立，也能从在两个高基数上分类性推导出最终分类性。