[論文レビュー] Tame structures and open cores

Antongiulio Fornasiero|arXiv (Cornell University)|Mar 18, 2010

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

ひとこと要約

この論文は、順序体の定義可能に完全な拡張におけるたんがいの性質を調査し、局所的に o-最小的である開核を有する構造および d-最小的構造を導入・分析する。d-最小的構造が位相的次元を備え、d-最小的構造の稠密な対が重要なモデル理論的性質を保持することを確立し、o-最小的および d-最小的理論の結果を、定義可能に Baire 性質を有するより広いクラスの構造へ一般化する。

ABSTRACT

We study various notions of "tameness" for definably complete expansions of ordered fields. We mainly study structures with locally o-minimal open core, d-minimal structures, and dense pairs of d-minimal structures.

研究の動機と目的

• o-最小的を超えたモデル理論的たんがいの性質を、順序体の定義可能に完全な拡張へ拡張すること。
• 開核が局所的に o-最小的または d-最小的であるような構造の性質を調査すること。
• o-最小的および d-最小的理論の結果を、特に d-最小的構造の稠密な対を含むより広いクラスへ一般化すること。
• o-最小的次元に類似する、位相に基づく d-最小的構造の次元論を確立すること。
• 定義可能に Baire 性質を有する構造が、Baire のカテゴリー的議論や構成可能性といった、重要な位相的およびモデル理論的道具を支持することを示すこと。

提案手法

• 順序体内の定義可能集合を分析するために、定義可能 Baire 性質および位相的概念（内部、閉包、境界）を用いる。
• 有限次元（fdim）における帰納的議論を用いて、定義可能集合の構成可能性を証明する。
• 擬似有限集合および $σ$-コンパクト性を用いて、定義可能族およびその射影を分析する。
• 局所的に閉じた集合（lc）の概念を導入し、その密度を用いて構成可能性を証明する。
• Sard の補題および次元不等式を用いて、定義可能関数における臨界集合の大きさを制御する。
• Z-閉包およびコーシー完備化を用いて、d-最小的構造の稠密な対を研究する。

実験結果

リサーチクエスチョン

• RQ1 o-最小的構造の理論は、局所的に o-最小的である開核を有する構造へ一般化可能か？
• RQ2 d-最小的構造は、位相に基づく整合的な次元論を備えているか？
• RQ3 d-最小的構造の稠密な対は、元の構造の初等部分構造であり、たんがいの性質を保持するか？
• RQ4 すべての定義可能に完全な構造は、Baire 性質を満たすか？
• RQ5 位相的および定義可能帰納法を用いて、d-最小的および局所的に o-最小的構造における定義可能集合の構成可能性を確立できるか？

主な発見

• d-最小的構造は、o-最小的次元を一般化する位相的次元を備え、類似の解析手法を可能にする。
• d-最小的構造の稠密な対が、重要なモデル理論的性質を保持することが示され、o-最小的対の結果が一般化される。
• 定義可能に Baire 性質を満たす任意の構造は、極小集合や $σ$-コンパクト性を含む、定義可能な圏論的枠組みを支持する。
• d-最小的構造の開核自体は d-最小的であり、局所的に o-最小的である開核を有する定義可能に完全な構造の開核は a-最小的である。
• d-最小的および局所的に o-最小的構造における定義可能集合の構成可能性は、有限次元における帰納的議論および局所的に閉じた集合の位相的密度を用いて確立される。
• 定義可能関数が連続でない点の集合は極小かつ $σ$-コンパクトであり、定義可能関数の解析において Baire 型の議論が可能になる。