[論文レビュー] The isomorphism relation of theories with S-DOP

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

Advanced Topology and Set Theory被引用数 1

ひとこと要約

この論文は、一般化されたバーレ空間 $κ^\u03ba$ における一階理論のモデルの同型関係のボレル還元可能性を調査する。不可分な $κ$ に対して、分類可能理論 $T$ のモデルの同型関係が、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.

研究の動機と目的

• 一般化されたバーレ空間 $κ^\u03ba$ における一階理論のモデルの同型関係の複雑さを分析すること。
• 分類可能理論のモデルの同型関係と、S-DOP を持つ超安定理論のモデルの同型関係の相対的なボレル還元可能性を特定すること。
• S-DOP を持つ超安定理論の同型関係が $Σ_1^1$-完全であるという一貫性の強度を調査すること。

提案手法

• 非可算基数 $\kappa$ の一般化されたバーレ空間 $κ^\u03ba$ におけるボレル還元可能性の枠組みを用いる。
• 特に S-DOP（厳密に超安定で DOP を持つ）条件を用いて、モデルの複雑さを特徴付けるモデル理論的分類理論を適用する。
• 特に $\kappa$ が不可分であると仮定することで、強化された一貫性結果を確立するため、強力な基数と強制法を用いる。
• 分類可能理論のモデルの同型関係から、S-DOP 理論のモデルの同型関係へのボレル還元を構成する。
• 非可算構造の文脈における記述的集合論を用いて、同型関係の論理的複雑さを分析する。
• 不可分基数の仮定の下で、S-DOP を持つ超安定理論のモデルの同型関係が $Σ_1^1$-完全であることが一貫していることを確立する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたバーレ空間において、分類可能理論のモデルの同型関係は、S-DOP を持つ超安定理論のモデルの同型関係にボレル還元可能か？
• RQ2 適切な集合論的仮定の下で、S-DOP を持つ超安定理論のモデルの同型関係が $Σ_1^1$-完全であることが示せるか？
• RQ3 不可分基数の仮定が、このような同型関係の $Σ_1^1$-完全性の一貫性を確立するために果たす役割は何か？
• RQ4 S-DOP 条件は、非可算な文脈における同型関係の複雑さにどのように影響を与えるか？
• RQ5 安定性や DOP といった分類理論的性質は、同型関係のボレル還元可能性にどの程度影響を与えるか？

主な発見

• 不可分基数 $\kappa$ に対して、分類可能理論のモデルの同型関係は、S-DOP を持つ超安定理論のモデルの同型関係にボレル還元可能である。
• S-DOP を持つ超安定理論のモデルの同型関係は、不可分基数の仮定の下で $Σ_1^1$-完全であることが一貫している。
• ボレル還元可能性の結果は、一般化されたバーレ空間 $κ^\u03ba$ 内で成立し、古典的な結果を非可算な設定へと拡張している。
• S-DOP 条件は、$Σ_1^1$-完全性の結果を可能にする上で中心的な役割を果たしており、他の理論とは複雑さにおいて明確に区別される。
• $Σ_1^1$-完全性の一貫性は、強力な基数と強制法を用いて確立されており、ZFC では証明できない。
• これらの結果は、同型関係に複雑性の階層が存在することを示しており、与えられた仮定の下で S-DOP 理論が最大の複雑性に達している。