集合論の決定可能な部分言語

数理論理学では、集合論の様々な部分言語が決定可能である。^[1]^[2] これらには以下が含まれる。

参考文献

^ Cantone, D.、EG Omodeo、A. Policriti、「コンピューティングのための集合理論。決定手順から集合を使用した論理プログラミングまで」、Monographs in Computer Science、Springer、2001 年。
^ 「集合論の基本部分言語の決定手順: XIII. モデルグラフ、反射、決定可能性」、Franco Parlamento および Alberto Policriti 著、Journal of Automated Reasoning、第 7 巻、第 2 号 (1991 年 6 月)、ページ: 271 - 284
^ 「単調関数、加法関数、乗法関数を含む集合論のサブ言語の決定手順」、Domenico Cantone 他著。
^ 「限定された形式の数量化を伴う集合論の断片に対するタブローベースの決定手順」、Domenico Cantone、Calogero G. Zarba、Viale A. Doria、1997 年^{[永久リンク切れ‍ ]}