[論文レビュー] Binary primitive homogeneous one-based structures

Vera Koponen|arXiv (Cornell University)|Jul 27, 2015

Advanced Topology and Set Theory参考文献 11被引用数 3

ひとこと要約

本稿では、任意の可算で、2項で、原始的で、均一で、1-基本的な構造が SU-ランク 1 を持ち、それがランダム構造であることを証明する。この結果は二項性がなければ成り立たないことが示され、generic tetrahedron-free 3-hypergraph が反例として用いられる。ただし、この構造は依然として 1-基本的であり、虚数的要素の分析を要する。さらに、退化した代数的閉包をもつ ω-カテゴリー的構造におけるパラメータフリー定義可能な同値関係の特徴づけも行われる。

ABSTRACT

Suppose that M is countable, binary, primitive, homogeneous, simple and 1-based. We prove that the SU-rank of the complete theory of M is~1. It follows that M is a random structure. The conclusion that M is a random structure does not hold if the binarity condition is removed, as witnessed by the generic tetrahedron-free 3-hypergraph. However, to show that the generic tetrahedron-free 3-hypergraph is 1-based requires some work (it is known that it has the other properties) since this notion is defined in terms of imaginary elements. This is partly why we also characterize equivalence relations which are definable without parameters in the context of omega-categorical structures with degenerate algebraic closure. Another reason is that such characterizations may be useful in future research about simple (nonbinary) homogeneous structures.

研究の動機と目的

• 可算で、2項で、原始的で、均一で、単純で、1-基本的な構造が SU-ランク 1 をもつことを確立すること。
• 二項性の仮定がない場合に、その構造がランダム構造であるという結論が成り立たないことを、generic tetrahedron-free 3-hypergraph を反例として示すこと。
• 退化した代数的閉包をもつ ω-カテゴリー的構造におけるパラメータフリー定義可能な同値関係を特徴づけること。
• 特に虚数的要素を用いることで、今後の非2項の単純な均一構造の研究のための基礎的道具を提供すること。

提案手法

• 可算で、2項で、原始的で、均一で、1-基本的な構造のモデル理論的性質を分析する。
• 安定理論的道具、特に SU-ランクを用いて、このような構造の理論の複雑さを分類する。
• SU-ランク 1 がランダム構造であることを示すために、既知のランダム構造に関する結果を活用する。
• 二項性が成り立たない反例として、generic tetrahedron-free 3-hypergraph を検討する。
• 退化した代数的閉包をもつ ω-カテゴリー的構造における定義可能な同値関係を、パラメータフリーの定義に焦点を当てて調べる。
• 虚数的要素と 1-基本性の相互作用に依拠し、非2項性にもかかわらず generic tetrahedron-free 3-hypergraph が 1-基本的であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 可算で、2項で、原始的で、均一で、1-基本的な構造の完全理論の SU-ランクは何か？
• RQ2 二項性の仮定がない場合に、その構造がランダム構造であるという結論は成り立つか？
• RQ3 generic tetrahedron-free 3-hypergraph は 1-基本的であるか？ もしそうなら、その性質は虚数的要素の使用にどのように依存するか？
• RQ4 退化した代数的閉包をもつ ω-カテゴリー的構造における、パラメータフリー定義可能な同値関係は何か？
• RQ5 パラメータフリー定義可能な同値関係の特徴づけは、非2項的で単純かつ均一な構造の研究をどのように支援するか？

主な発見

• 任意の可算で、2項で、原始的で、均一で、1-基本的な構造の完全理論の SU-ランクは、正確に 1 である。
• このように、SU-ランク 1 の結果により、そのような構造はランダム構造であることが確認される。
• 二項性を仮定しない場合、generic tetrahedron-free 3-hypergraph はランダム構造の結論に対する反例である。
• 非2項性にもかかわらず、generic tetrahedron-free 3-hypergraph は 1-基本的である。この事実は、虚数的要素の分析を経て確認される。
• 退化した代数的閉包をもつ ω-カテゴリー的構造におけるパラメータフリー定義可能な同値関係は、本稿の文脈において完全に特徴づけられている。
• これらの結果は、パラメータフリー定義可能な関係と虚数的要素の観点から、非2項的で単純かつ均一な構造の分析のための基盤を提供する。