[论文解读] The isomorphism relation of theories with S-DOP

Miguel Moreno|arXiv (Cornell University)|Mar 21, 2018

Advanced Topology and Set Theory被引用 1

一句话总结

本文研究了在广义Baire空间 $κ^\u03ba$ 中，一阶理论模型的同构关系的Borel可约性。对于不可达基数 $κ$，本文证明了可分类理论 $T$ 的模型同构关系Borel可约化为具有S-DOP的超稳定理论 $T'$ 的模型同构关系；此外，本文还证明了此类 $T'$ 的同构关系为 $Σ_1^1$-完全的相对一致性。

ABSTRACT

We study the Borel-reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is superstable with S-DOP, then the isomorphism of models of $T$ is Borel reducible to the isomorphism of models of $T'$. In fact we show the consistency of the following: If $T$ is a superstable theory with S-DOP, then the isomorphism of models of $T$ is $\Sigma_1^1$-complete.

研究动机与目标

• 分析广义Baire空间 $κ^\u03ba$ 中一阶理论模型同构关系的复杂性。
• 确定可分类理论模型与具有S-DOP的超稳定理论模型之间同构关系的相对Borel可约性。
• 研究超稳定理论具有S-DOP时其同构关系为 $Σ_1^1$-完全的相对一致性强度。

提出的方法

• 在不可达基数 $κ$ 的广义Baire空间 $κ^\u03ba$ 框架下，运用Borel可约性理论。
• 应用模型论分类理论，特别是S-DOP（严格超稳定且具有DOP）条件，以刻画模型的复杂性。
• 采用力迫与大基数假设，特别假设 $κ$ 为不可达基数，以建立一致性结果。
• 从可分类理论模型的同构关系构造到S-DOP理论模型同构关系的Borel可约化。
• 在不可数结构的背景下，运用描述集合论分析同构关系的逻辑复杂性。
• 在不可达基数假设下，建立超稳定理论具有S-DOP时其同构关系为 $Σ_1^1$-完全的一致性。

实验结果

研究问题

• RQ1 在广义Baire空间中，可分类理论模型的同构关系是否Borel可约化为具有S-DOP的超稳定理论模型的同构关系？
• RQ2 在适当的集合论假设下，能否证明具有S-DOP的超稳定理论模型的同构关系为 $Σ_1^1$-完全？
• RQ3 不可达基数假设在建立此类同构关系 $Σ_1^1$-完全性的一致性中起到何种作用？
• RQ4 S-DOP条件在不可数情境下如何影响同构关系的复杂性？
• RQ5 分类理论性质（如稳定性与DOP）在多大程度上影响同构关系的Borel可约性？

主要发现

• 对于不可达基数 $κ$，可分类理论模型的同构关系Borel可约化为具有S-DOP的超稳定理论模型的同构关系。
• 在不可达基数假设下，具有S-DOP的超稳定理论模型的同构关系一致地为 $Σ_1^1$-完全。
• Borel可约化结果在广义Baire空间 $κ^\u03ba$ 内成立，将经典结果推广至不可数设定。
• S-DOP条件在实现 $Σ_1^1$-完全性结果中起关键作用，使此类理论在复杂性上与其他理论区分开来。
• $Σ_1^1$-完全性的一致性通过力迫与大基数假设建立，无法仅在ZFC中证明。
• 结果表明，在给定假设下，同构关系存在复杂性层级，具有S-DOP的理论在该设定下达到最大复杂性。