計算可能なモデル理論

計算可能モデル理論は、モデル理論の一分野であり、モデル理論的構造に適用される計算可能性の問題を扱います。計算可能モデル理論は、計算可能モデルと決定可能モデルおよび理論の概念を導入し、基本的な問題の一つは、特定のモデル理論的条件を満たす計算可能モデルまたは決定可能モデルが存在するかどうかを明らかにすることです。

計算可能なモデル理論は、20世紀半ばに、主に米国とオーストラリアに拠点を置く西側の数学者とソビエト連邦の数学者によってほぼ同時に開発されました。冷戦のため、これら2つのグループ間のコミュニケーションはほとんどなく、そのため多くの重要な結果が独立して発見されました。^{[ 1 ]}

• ヴォートの推測

• Harizanov, VS (1998)、「純粋計算可能モデル理論」、Ershov, Iurii Leonidovich (編)、『再帰的数学ハンドブック、第1巻：再帰的モデル理論』、論理学と数学の基礎に関する研究、第138巻 、North Holland、pp. 3–114、ISBN  978-0-444-50003-8MR 1673621​ 。