[论文解读] 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

一句话总结

本文通過證明在至少一個生成元下，弱結合關係代數類（WA）的有限生成自由代數不是原子的，從而解決了一個長期存在的開放問題，儘管零生成的自由代數是有限的，因此是原子的。該結果透過相對化關係代數上的模型論與代數技術，確立了關係演算可判定片段的弱哥德爾不完全性性質。

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.

研究动机与目标

• 解決I. Németi於1985年提出的關於弱結合關係代數類（WA）中有限生成自由代數原子性的開放問題。
• 研究WA的自由代數是否為原子的，此問題與相關邏輯中的弱哥德爾不完全性性質有關。
• 分析相對化關係代數中自由代數的結構，特別關注RRA_H類及其與箭頭邏輯和可判定片段的關聯。
• 利用模型論構造與項代數分析，對WA中自由代數的原子性問題提供明確答案。
• 釐清這些代數類中自由代數為原子或非原子的條件，特別是與生成元數量的關係。

提出的方法

• 使用帶標籤的圖結構（G^τ,H）構造項模型，其中邊為E^τ,H，節點為V^τ,H，以表示邏輯形式。
• 定義變數x_i的賦值ι^τ,H_+，映射至E^τ,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之下不存在原子，則代數非原子，進而證明當m ≠ 0或H ≠ {R,S}時，Fr_m RRA_H為非原子。

实验结果

研究问题

• RQ1 弱結合關係代數類（WA）的有限生成自由代數是否為原子？
• RQ2 WA中自由代數的非原子性是否意味著對應邏輯的弱哥德爾不完全性性質？
• RQ3 RRA_H類中自由代數的原子結構為何，特別是當H包含S時？
• RQ4 在何種條件下，自由代數Fr_m RRA_H為原子，特別是與生成元數量m的關係？
• RQ5 能否透過涉及邊標籤與項評估的模型論構造，確立Fr_m RRA_H的非原子性？

主要发现

• 當m ≥ 1時，自由代數Fr_m WA非原子，從而解決了I. Németi於1985年提出的38年未解之開放問題。
• 零生成的WA自由代數是有限的，因此為原子，確立了m = 0的明確分界點。
• 透過構造項son(e_j)與daughter(e_j)，證明當m ≠ 0或H ≠ {R,S}時，Fr_m RRA_H為非原子，其乘積在自由代數中為零。
• 該結果確認弱哥德爾不完全性性質成立於WA的等式理論中，因自由代數的非原子性與此性質等價。
• 自由代數Fr_m RRA_H包含有限多個原子，當且僅當S ∈ H，顯示代數行為中存在結構性二分。
• 證明依賴於使用擴展標籤圖與項評估的模型論構造，顯示在自由代數中，任何非零元素t之下均無原子存在。