[論文レビュー] Weak Godel's incompleteness property for some decidable versions of the calculus of relations

Mohamed Khaled|arXiv (Cornell University)|Nov 4, 2015

Advanced Algebra and Logic参考文献 13被引用数 4

ひとこと要約

本稿は、1985年にI. Németiが提起した長年の未解決問題を解決し、弱的結合的関係代数クラス（WA）の有限生成自由代数が、少なくとも1つの生成子で生成される場合には原子的でないことを証明している。一方、0生成の自由代数は有限であり、したがって原子的である。この結果は、相対化された関係代数を用いたモデル理論的および代数的技法を通じて、関係計算の決定可能フラグメントにおける弱いゲーデルの不完全性性質を確立する。

ABSTRACT

Relativization is one of the central topics in the study of algebras of relations. Some relativized relation algebras behave much nicer than the original relation algebras. In this paper, we study the atomicity of the finitely generated free algebras of these nice classes of relativized relation algebras. In particular, we give an answer for the open problem, posed by I. Nemeti in 1985, which asks whether the finitely generated free algebras of the class of the weak associative relation algebras WA are atomic or not.

研究の動機と目的

• 弱的結合的関係代数クラス（WA）における有限生成自由代数の原子的性質に関する、1985年にI. Németiが提起した未解決問題を解消すること。
• WAの自由代数が原子的であるかどうかを調査すること。これは、関連する論理における弱いゲーデルの不完全性性質と関連している。
• 特に矢印論理や決定的フラグメントと関係するRRA_Hクラスに注目し、相対化された関係代数における自由代数の構造を分析すること。
• モデル理論的構成と項代数の分析を用いて、WAにおける自由代数の原子的性質問題に決定的な答えを与えること。
• 特に生成子の数に応じて、これらのクラスにおける自由代数が原子的または非原子的となる条件を明確にすること。

提案手法

• 論理的形を表現するため、辺E^τ,HおよびノードV^τ,Hを有するラベル付きグラフ構造(G^τ,H)を用いて項モデルを構築する。
• 変数x_iをE^τ,H_+の部分集合へ写像する価値関数ι^τ,H_+を定義し、ラベルに基づく色分けを用いて項を解釈する。
• 新たなノードw_1と自己ループ辺(w_1,w_1)を追加することで、G^τ,H_+を構築し、構造を保存しつつ新たな論理的評価を可能にする。
• 拡張モデルにおける論理的形l^τ,H_+(e)の評価を用い、特定の項（son(e_j), daughter(e_j)）が元のモデルと拡張モデルで矛盾する性質を満たすことを示す。
• 辺の深さに関する帰納的推論を用い、自由代数Fr_m RRA_Hにおいてson(e_j) · daughter(e_j) = 0が成り立つことを証明し、非原子的性質を示す。
• 非ゼロの要素tの下に原子が存在しない場合、代数は非原子的であるという事実を応用し、Fr_m RRA_Hがm ≠ 0またはH ≠ {R,S}のとき非原子的であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 弱的結合的関係代数クラス（WA）における有限生成自由代数は原子的か？
• RQ2 WAにおける自由代数の非原子的性質は、対応する論理における弱いゲーデルの不完全性性質を意味するか？
• RQ3 特にHにSを含む場合、RRA_Hにおける自由代数の原子的構造はいかなるものか？
• RQ4 自由代数Fr_m RRA_Hが原子的である条件は何か。特に生成子の数mに依存するか？
• RQ5 辺ラベル付けと項評価を含むモデル理論的構成によって、Fr_m RRA_Hの非原子的性質を確立できるか？

主な発見

• m ≥ 1のとき、自由代数Fr_m WAは非原子的であり、1985年にI. Németiが提起した38年間の未解決問題が解決された。
• 0生成のWA自由代数は有限であり、したがって原子的である。m = 0で明確な閾値が成立する。
• m ≠ 0またはH ≠ {R,S}のとき、Fr_m RRA_Hが非原子的であることは、項son(e_j)とdaughter(e_j)の構成を用いて証明された。これらの積は自由代数において0に等しい。
• この結果により、WAの等式理論における弱いゲーデルの不完全性性質が成立することが確認された。自由代数の非原子的性質は、この性質と同値である。
• Fr_m RRA_Hが有限個の原子を含むのは、S ∈ Hである場合に限る。これは代数的挙動における構造的二分性を示唆する。
• 証明は、拡張されたラベル付きグラフと項評価を用いたモデル理論的構成に依拠しており、自由代数において非ゼロの要素tの下に原子が存在しないことを示している。