モデル理論

モデル理論は、数理論理学による手法を用いて数学的構造を研究する数学の分野である。

モデル理論における研究対象は、形式言語の文に意味を与える構造 としてのモデルである。もし言語のモデルがある特定の文 または理論 を満足するならば、それはその文または理論のモデルと呼ばれる。

モデル理論は代数および普遍代数と関係が深い。

この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。

1. 概要
-----

プログラム意味論において操作的意味論と表示的意味論があるように、数理論理学における操作的意味論に相当するものが証明論であるのに対し、モデル理論は同様の類推で表示的意味論に当たる。すなわち、前者は論理式の証明中での振る舞いを定めた形式的体系を研究するのに対して、後者は論理式の構成要素である記号に数学的対象を割り当てる解釈を研究の対象とする。張晨鐘およびハワード・ジェローム・クライスラー  の一ページ目を引用すると：

普遍代数 + 構造  = モデル理論.普遍代数学では関係記号を備えず専ら関数記号のみを備える理論のモデルを考察対象とするのに対し、モデル理論ではより一般に関係記号をも備えた理論のモデルを考察対象とするということである。モデル理論は1990年代に急速に発展し、より現代的な定義はウィルフリッド・ホッジス  によって与えられた：

モデル理論 = 代数幾何学 − 体.代数幾何学では主に代数的集合のような体上の定義可能集合を考察対象とするが、モデル理論では体に限らない一般のモデルにおける代数的集合をも考察対象とするということである。

モデル理論の不完全かつ幾分恣意的な下位区分として、古典モデル理論、群および体への応用、および幾何学的モデル理論がある。ここに含まれていないものに計算可能モデル理論があるが、これは論理学の独立した下位分野として見ることができると言っても良い。ゲーデルの完全性定理を含む古典モデル理論初期の定理の例は、上方および下方レーヴェンハイム-スコーレムの定理、ロバート・ローソン・ヴォートの two-cardinal 定理、スコットの同形定理、タイプ排除定理  、そしてリル＝ナルゼウスキの定理がある。モデル理論が体へ応用された初期の結果の例は、タルスキの実閉体についての量化記号消去法、疑有限体  上のジェームズ・アックスの定理、そしてロビンソンの超準解析の開発がある。古典モデル理論の発展において、安定理論の誕生が重要なステップとなった。この安定理論は、理論が満たす構文条件に基づくランクと独立性 の算法を発展させた。この数十年で、応用モデル理論はより純粋な安定理論と繰り返し融合してきた。この合成の結果は、この記事では幾何学的モデル理論と呼ばれている。幾何学的モデル理論は、古典幾何学的安定理論と同じく、例えばo-minimalityを含むために利用されている。幾何学的モデル理論の例は、関数体についてのMordell–Lang予想のフルショフスキーによる証明がある。幾何学的モデル理論の目標は、純粋なモデル理論の研究において実際に開発されたツールによって、さまざまな数学的構造における定義可能集合の詳細な研究を行い、//数学の地理学//を提供することである。

2. 例
----

非自明なモデルの文脈における統語論および意味論を含む基本的な関係を説明するために、統語論側でペアノの公理のような自然数についての適切な公理とその関連する理論から始めることができる。意味論側では、通常の連続数がモデルを構成する。1930年代、スコーレムはその公理を満たす別のモデルを開発した。これはある特定のモデルにおいて、言語または理論を解釈 することによって何を意味するのかを説明する。より伝統的な例は、ある群によって与えられたモデルの文脈において、群のような特定の代数系の公理を解釈することである。

3. 普遍代数
-------

普遍代数の根本的な概念はシグネチャ  σ および σ-代数である。これらの概念は構造 の記事において詳細に定義されている。

4. 有限モデル理論
----------

有限モデル理論は、普遍代数と密接に関連しているモデル理論の領域である。普遍代数のいくつかの領域と同様に、またモデル理論の他の領域と反対に、有限モデル理論は主に有限代数またはより一般的にはシグネチャ σ の有限 σ-構造 を対象としている。

5. 一階述語論理
---------

普遍代数がシグネチャ の意味論を与える一方、論理は統語論を与える。恒等式および疑恒等式の項とともに、普遍代数はいくつかの限定的な統語論のツールも利用している。例えば、一階述語論理は量化を明確にし否定を取り入れた結果である。

6. 公理化可能性、量化記号消去、およびモデル完全性
--------------------------

モデル理論を群のような数学的対象のクラスへ応用する最初のステップは、多くの場合は自明であるが、シグネチャ σ を選択することおよびその数学的対象を σ-構造で表現することである。次のステップは、そのクラスが初等クラス、すなわち、一階述語論理における公理化可能であることを示すことである。例えば、このステップは木では失敗する、連結性が一階述語論理内で表現できないためである。公理化可能性は、モデル理論が正当な対象について語ることができるのを保証する。量化記号消去法は、モデル理論がその対象について多くのことを言い過ぎないようにすることを保証する。理論 //T// は、//T// におけるすべてのモデルの部分構造 が初等下位構造ならモデル完全と呼ばれる。

7. 範疇性
------

一階述語論理の節で見られたように、一階理論は範疇的でありえない。すなわち、一階述語論理は同形なある一意なモデルを、そのモデルが有限でない限り記述することができない。しかし、二つの有名なモデル理論に関する定理は基数κ についての κ-範疇性のより弱い概念を扱うことができる。もし濃度がκ である理論//T//の二つのモデルが同形であるならば, //T// はκ-範疇的と呼ばれる。κ-範疇性の疑問は、κ がその言語の濃度よりも大きいかどうかに決定的に依存していることが分かる。有限または可算のシグネチャについて、これは非可算のκ についての-濃度と κ-濃度の間に根本的な相違があることを意味している。

8. モデル理論と集合論
------------

集合論は可算モデルをもつ。すなわち、非可算集合の存在を仮定している集合論の文が可算モデルにおいても真であることから、これはスコーレムのパラドックスとして知られている。特に、連続体仮説の独立性 の証明はモデル//内//から見たとき非可算として現れるがモデル//外//から見たとき可算となるような集合をモデルの対象として必要とする。

モデル理論的な観点は集合論にとって有用である。例えば、ゲーデルがコーエンにより開発された強制法を用いて行った構成可能集合に対する仕事によって、選択公理の独立性 および集合論の他の公理からの連続体仮説を証明することができる。

9. モデル理論のその他の基礎概念
-----------------

9.1. 縮小と拡大
----------

9.2. 解釈可能性
----------

9.3. コンパクト性定理と完全性定理の使用
----------------------

ゲーデルの完全性定理は、ある理論が無矛盾である、すなわちその理論によって矛盾が生じない場合だけ、その理論はモデルを持つこと述べている。これはモデル理論の核心であり、モデルを見ることで理論についての疑問に答えることができ、逆も同様である。理論の完全性を完全理論と混同しないこと。

コンパクト性定理は、もし文S のすべての有限部分集合が充足可能なら文S の集合は充足可能であることを述べている。証明論の文脈においては、すべての証明が持つことのできる証明において用いられる前件の数は有限なので、類似の言明は自明である。モデル理論の文脈では、しかしながら、この証明はより困難となる。この証明には二つのよく知られたものがある。一つはゲーデルによるもので、もう一つがアナトリー・マルチェフによるものである。

モデル理論は通常、一階述語論理と結びついており、多くの重要な結果は二階述語論理や他の代わりの理論では成り立たない。一階述語論理では、すべての無限濃度は可算である言語にとっては同じに見える。これはレーヴェンハイム-スコーレムの定理において次のように表現されている。無限モデルを持つ全ての可算理論は、全ての文においてと一致する全ての無限濃度のモデルを持つ、すなわちそれらは'初等同値'である。

9.4. 型
------

10. 初期の歴史
---------

主題としてのモデル理論はおおよそ二十世紀の中頃から存在している。しかしながら、特に数理論理学においてそれ以前から研究されていたいくつかの理論はモデル理論的な性質を持っていたと考えることができる。モデル理論の系譜における最初の顕著な成果はレオポールト・レーヴェンハイムにより1915年に発表された下方レーヴェンハイム-スコーレムの定理の特別な事例である。コンパクト性定理は、トアルフ・スコーレムによる仕事において萌芽が見られるが、ゲーデルの完全性定理の証明中の補題として1930年に初めて発表された。レーヴェンハイム-スコーレムの定理およびコンパクト性定理は1936年および1941年にアナトリー・モルツェフによって一般的な形で形式化された。

11. 脚注
------

12. 参考文献
--------

12.1. 標準的教科書
------------

板井昌典：「モデル理論」、森北出版、ISBN 978-4-627-08361-5 .

12.2. 参考書
---------

12.3. オンラインテキスト
---------------

Hodges, Wilfrid, //[1]//. The Stanford Encyclopedia Of Philosophy, E. Zalta .
Simmons, Harold , //[2]//. Notes of an introductory course for postgraduates .
J. Barwise and S. Feferman , [3], Perspectives in Mathematical Logic, Volume 8, New York: Springer-Verlag, 1985.

13. 関連項目
--------

公理化可能クラス
コンパクト性定理
記述計算量
初等同値

一階理論
強制法
超実数
制度モデル理論

クリプキ意味論
レーヴェンハイム-スコーレムの定理
証明論
飽和モデル