[論文レビュー] Metric logical categories and conceptual completeness for first order continuous logic

Jean-Martin Albert, Bradd Hart|arXiv (Cornell University)|Jul 11, 2016

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

ひとこと要約

この論文は、測度論的理論と解釈のカテゴリカルな同等物として測度論的論理的圏と関手を導入することで、連続的1階論理へのカテゴリー論理の拡張を試みる。連続的版の概念的完全性を確立し、$T^{\text{eq}}$ が $T$ の最大の保存的拡張であることを証明する。また、公理化可能な極限と余極限に関して閉じた圏として測度論的前トポスを定義し、$T^{\text{eq}}$ と普遍性を用いて関連付ける。

ABSTRACT

We begin the study of categorical logic for continuous model theory. In particular, we 1. introduce the notions of metric logical categories and functors as categorical equivalents of a metric theory and interpretations, 2. prove a continuous version of conceptual completeness showing that $T^\eq$ is the maximal conservative expansion of $T$, and 3. define the concept of a metric pre-topos.

研究の動機と目的

• 測度論的理論と解釈のカテゴリカル同等物として測度論的論理的圏と関手を導入することにより、連続的1階論理のカテゴリカル枠組みを構築すること。
• 概念的完全性の連続的アナログを確立し、$T^{\text{eq}}$ が理論 $T$ の最大の保存的拡張であることを示すこと。
• 公理化可能な極限と余極限に関して閉じた測度論的論理的圏として測度論的前トポスを定義し、普遍性を用いて $T^{\text{eq}}$ と関連付けること。
• マッカイとレイズの古典的結果（特に $\mathbf{C}^{\text{eq}} \cong \mathbf{Def}(\mathscr{L}_{\mathbf{C}}^{\text{eq}}, T_{\mathbf{C}}^{\text{eq}})$ の同値性）を連続的設定に一般化すること。

提案手法

• 測度論的理論（種、関数記号と関係記号、連続性モジュラスを含む）を符号化する追加構造を持つ圏として測度論的論理的圏を定義する。
• 測度論的論理的圏のカテゴリカル構造を保存する関手として測度論的論理的関手を定義し、これにより測度論的理論間の解釈を表す。
• 特にゼロ集合と標準的パラメータに注目し、論理式と不等式を用いて測度論的論理的圏における極限と余極限を公理化する。
• 定義可能集合とイマジナリを含む理論 $T^{\text{eq}}$ を構成し、前トポスの完備化を通じて普遍的な保存的拡張として得られることを示す。
• 測度論的前トポスの完備化 $\mathcal{P}(\mathbf{R}) = \mathbf{Def}(\mathscr{L}_{\mathbf{R}}^{\text{eq}}, T_{\mathbf{R}}^{\text{eq}})$ を定義し、これによりすべての定義可能なイマジナリを捉える。
• 忘却関手 $I^*: \operatorname{Mod}(\mathcal{P}(\mathbf{R})) \to \operatorname{Mod}(\mathbf{R})$ がカテゴリの同値であることを証明し、連続的設定における概念的完全性を確立する。

実験結果

リサーチクエスチョン

• RQ1 測度論的理論と解釈の適切なカテゴリカル構造を定義することで、カテゴリー論理を連続的1階論理に拡張することは可能か？
• RQ2 概念的完全性の連続的アナログとは何か？また、$T^{\text{eq}}$ は理論 $T$ の最大の保存的拡張としてどのように機能するか？
• RQ3 測度論的論理的圏が測度論的前トポスと見なされるために満たすべき性質は何か？また、これと公理化可能な極限・余極限の関係は？
• RQ4 測度論的論理的圏 $\mathbf{R}$ の前トポス完備化 $\mathcal{P}(\mathbf{R})$ は理論 $T^{\text{eq}}$ とどのように関連しているか？
• RQ5 任意の小さな測度論的前トポスは、ある連続的理論 $T$ に対して $\mathbf{Def}(\mathscr{L}^{\text{eq}}, T^{\text{eq}})$ と同値であるか？

主な発見

• この論文は連続的版の概念的完全性を確立する：$T^{\text{eq}}$ は $T$ の最大の保存的拡張であり、$T$ の任意の保存的拡張は $T^{\text{eq}}$ に解釈可能である。
• 構成 $\mathcal{P}(\mathbf{R}) = \mathbf{Def}(\mathscr{L}_{\mathbf{R}}^{\text{eq}}, T_{\mathbf{R}}^{\text{eq}})$ は、$\mathbf{R}$ の保存的拡張において普遍的な測度論的前トポスをもたらす。
• 忘却関手 $I^*: \operatorname{Mod}(\mathcal{P}(\mathbf{R})) \to \operatorname{Mod}(\mathbf{R})$ はカテゴリの同値である。これは、$\mathcal{P}(\mathbf{R})$ が $\mathbf{R}$ のすべてのモデルを初等同値の意味で完全に捉えていることを確認する。
• 任意の測度論的前トポスは、ある連続的理論 $T$ に対して $\mathbf{Def}(\mathscr{L}^{\text{eq}}, T^{\text{eq}})$ と同値である。これは、測度論的前トポスがイマジナリの除去をもつ理論を分類することを示す。
• $\mathcal{P}(\mathbf{R})$ の普遍性により、任意の関手 $\mathbf{R}$ から測度論的前トポスへの論理的関手は、$\mathcal{P}(\mathbf{R})$ を通して一意に因数分解可能である。これにより、$\mathcal{P}(\mathbf{R})$ の普遍性が確立される。
• $\mathbf{Met}$（距離空間の圏）は測度論的前トポスであり、$\mathcal{P}(\mathbf{R})$ の構成は古典的前トポス完備化を連続的設定に一般化する。