[論文レビュー] Algebras of distributions of binary isolating formulas of a complete theory

Ilya V. Shulepov, S. V. Sudoplatov|arXiv (Cornell University)|May 15, 2012

Advanced Topics in Algebra参考文献 4被引用数 3

ひとこと要約

本稿では、完備な一階理論における1型の実現間の二項分離論理式を記述するための代数的構造として、群擬および部分群擬のクラスを導入する。特に、1型の実現間の関係に焦点を当て、原子モデルが1型の実現上に存在する場合、主論理式のラベルが特殊な群擬を形成することを確立する。この構造は、代数的およびモデル理論的公理、特に決定的および半結合的性質を用いて特徴づけられ、$I_{\mathrm{Σ}}$-構造の構成により、このような代数的構造の完全な特徴づけがなされる。

ABSTRACT

We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for binary isolating formulas on a set of realizations for a 1-type p forms a groupoid of a special form if there is an atomic model over a realization of p. We describe the class of these groupoids and consider features of these groupoids in a general case and for special theories. A description of the class of partial groupoids relative to families of 1-types is given.

研究の動機と目的

• 完備理論における1型の実現間の二項分離論理式の代数的構造を形式化すること。
• 原子モデルが1型$p$の実現上に存在する場合に生じる特別な群擬$\mathfrak{P}_{\nu(p)}$を定義し、特徴づけること。
• $I_{\mathcal{R}}$-構造を導入し、1型の族における二項分離論理式の分布を代数的モデルとして捉えること。
• 正規ラベリング関数を介して、このような代数的構造と小規模な完備理論との間の対応関係を確立すること。
• ジョイン演算を用いて部分群擬へと枠組みを拡張し、二項分離論理式の分布代数の一般的記述を可能とすること。

提案手法

• 本稿では、$\mathrm{PF}(p,q)/\mathrm{PE}(p,q)$における主論理式の同値類に、符号付きアルファベット$U$からの一意なラベルを割り当てるラベリング関数$\nu(p,q)$を定義し、エッジと逆方向でない矢印を区別する。
• 三つ組$(p,X,q)$の上に、$X$がラベルの空でない部分集合であるような$\mathfrak{P}$という$I_{\mathcal{R}}$-構造を構成し、論理式の合成をモデル化する部分的に定義された二項演算$\cdot$を導入する。
• 演算$\cdot$は、左半結合的性質、符号の一貫性（負/正ラベル）、正ラベルの逆元の存在、非負ラベル上での決定的性質を保証する公理に従う。
• この構造には、演算が全関数的かつ単一値であるような部分構造$\mathfrak{P}^{\geq 0}_d$が含まれており、非負ラベルの合成が一意に定まることを保証する。
• 逐次的消去和を用いて、任意の群を含むモノイドを構築し、群論的性質を代数的枠組みに埋め込む。
• この構成は、任意の$I_{\mathcal{R}}$-構造が、ある完備理論$T$とその1型の族$R\subset S(T)$、および正規ラベリング関数$\nu(R)$に対して、二項分離論理式の分布代数として実現可能であることを証明することで検証される。

実験結果

リサーチクエスチョン

• RQ1 完備理論における1型の実現間の二項分離論理式の集合に内在する代数的構造は何か？
• RQ2 主論理式のラベルを用いて、1型の実現間の関係をどのように代数的に捉えることができるか？
• RQ3 原子モデルが1型$p$の実現上に存在する場合に生じる主論理式からなる群擬$\mathfrak{P}_{\nu(p)}$を特徴づける公理的性質は何か？
• RQ4 1型の族から生じる部分群擬のクラスを、個々の$\mathfrak{P}_{\nu(p)}$構造のジョインによってどのように記述できるか？
• RQ5 $I_{\mathcal{R}}$-構造が、1型の族と正規ラベリング関数を有する実際の完備理論に対応するための条件は何か？

主な発見

• 原子モデルが1型$p$の実現上に存在する場合、$p$の対照的で同値でない主論理式のラベルは、半結合的性質および正ラベルの逆元性を満たす特殊な群擬$\mathfrak{P}_{\nu(p)}$を形成する。
• $\mathfrak{P}_{\nu(p)}$は、ラベルの冪集合$\mathcal{P}(\mu(p))\setminus\{\varnothing\}$上の$I$-群擬と同型であり、ラベル合成に関して閉じている。
• 任意の$I_{\mathcal{R}}$-構造$\mathfrak{P}$に対して、1型の族$R\subset S(T)$と正規ラベリング関数$\nu(R)$を有する完備理論$T$が存在し、$\mathfrak{P}_{\nu(R)} = \mathfrak{P}$が成り立つ。これは、完全なカテゴリカルな対応関係を確立する。
• 決定的部分構造$\mathfrak{P}^{\geq 0}_d$は、非負ラベルの合成が単一の結果を返すことを保証し、演算に関して閉じており、システムの整合的で良好に振る舞うコアを反映する。
• 群擬のジョインが定義され、半結合的性質および符号の一貫性といった重要な性質を保存することが示され、結果を部分群擬へと拡張可能である。
• 演算$\cdot$を規定する公理により、負ラベルは順序を保つ（例：$u<0$のとき$\mathrm{Col}(a) \leq \mathrm{Col}(b)$）、正ラベルは等価性を保つ（例：$\mathrm{Col}(a) = \mathrm{Col}(b)$）ことが保証され、代数的構造とモデル内の彩色との間の関係が結びつけられる。