[論文レビュー] Generalized Descriptive Set Theory and Classification Theory

Sy‐David Friedman, Tapani Hyttinen+1 more|arXiv (Cornell University)|Jul 18, 2012

Advanced Topology and Set Theory参考文献 29被引用数 63

ひとこと要約

この論文は、可算から非可算基数への古典的記述的集合論の一般化を行い、非可算モデルにおける同型関係のボレル還元可能性を研究する。ボレル還元可能性が自然なモデル理論的複雑性の尺度であることを示し、分類可能な理論はボレル同型関係を持つが、不安定または非超安定な理論はそうでないことを示し、非可算な文脈における古典的設定との主要な違いを特定する。

ABSTRACT

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

研究の動機と目的

• 可算から $2^\omega$ への古典的記述的集合論を、非可算 $\kappa$ に対する一般化されたベール空間およびカントール空間 $2^\kappa$ へ拡張すること。
• 非可算 $ \kappa$ のサイズのモデルにおける同型関係のボレル還元可能性が、モデル理論的複雑性をどのように反映するかを調査すること。
• 古典的シルバーの二分法やその他の記述的集合論的原理が、非可算な文脈へ一般化されるかを検証すること。
• 安定理論的性質（例：安定性、超安定性、DOP）と同型関係の記述的集合論的複雑性との間の関係を明確にすること。
• ボレル還元可能性が、特に $ \kappa$-サイズのモデルの文脈において、非可算理論の自然な分類ツールであるかを検討すること。

提案手法

• 非可算モデルを $2^\kappa$ の要素へコーディングする技術を用い、標準的な可算モデルの $2^\omega$ へのコーディングを一般化する。
• 一般化されたエーレンフェュクト＝フライッシェゲームを用いて、非可算モデルにおけるタイプの統合と同型型を分析する。
• $\kappa$-非正則性イデアルの導入と、$E_{S^\kappa_\lambda}$ などの同値関係との関係を分析する。
• 無限限界論理 $L_{\kappa^+\kappa}$ および $M_{\kappa^+\kappa}$ を用いて、一般化された空間におけるボレルおよび $\Delta^1_1$ 集合を特徴付ける。
• 立方集合およびフィルトレーションを用いた一般化されたベール空間位相の技術を適用し、一意性および同型型の持ち上げに関する結果を証明する。
• 特に $\cong_T^\kappa \leq_B \cong_{T'}^\kappa$ のとき、同値関係の間の還元を用いて複雑性を比較する。

実験結果

リサーチクエスチョン

• RQ1 非可算 $\kappa$ に対して、任意の解析的同値関係がボレルであるか、または $E_0$ にボレル還元可能であるというシルバーの二分法は、一般化された設定でも成り立つか？
• RQ2 非可算 $ \kappa$ のサイズのモデルにおける一階理論 $T$ の同型関係がボレルである可能性は、$T$ が分類不能または不安定な場合に存在するか？
• RQ3 同型関係 $\cong_T^\kappa$ がボレルであるためのモデル理論的特徴づけは存在するか？ また、安定性、超安定性、または DOP などの安定理論的性質とどのように関係するか？
• RQ4 $E_{S^\kappa_\lambda}$（$\lambda$-非正則性イデアルによる等価関係）は、任意の安定で非超安定な理論の同型関係にボレル還元可能か？
• RQ5 非可算 $\kappa$ に対して、$2^\kappa$ 上に比較不能なボレル同値関係 $E_1 \not\leq_B E_2$ および $E_2 \not\leq_B E_1$ が存在するか？

主な発見

• 同型関係 $\cong_T^\kappa$ がボレルであるための必要十分条件は、$T$ が分類可能かつ浅い（shallow）ことである。これはボレル複雑性の明確なモデル理論的条件を確立する。
• $\kappa = \omega$ の場合、DLO（$T_{\text{dlo}}$）の同型関係は、ランダムグラフ（$T_{\text{gr}}$）の同型関係にボレル還元可能であるが、逆は成り立たない。これは複雑さにおける非対称性を示している。
• この論文は、$\cong_T^\kappa \leq_B \cong_{T'}^\kappa$ ならば、$T$ が $T'$ よりも複雑さの順序で高くないことを示し、非可算 $ \kappa$ に対しては、この順序がモデル理論的複雑性と整合する。
• シルバーの二分法は一般化された設定では成り立たない：非可算 $ \kappa$ に対しても、$E_0$ にボレル還元可能でない解析的同値関係が存在する。
• 安定で非超安定な理論の同型関係は、ZFCにおいて $\Delta^1_1$ ではない。これは記述的集合論的複雑性がより高いことを示唆する。
• この論文は、ある仮定の下で、$E_{S^\kappa_\lambda}$（$\lambda$-非正則性イデアルによる等価関係）は、任意の安定で非超安定な理論の同型関係にボレル還元可能でないことを証明しており、これは厳密な複雑性の階層を示している。