モデル理論
モデル理論（）は、数理論理学による手法を用いて数学的（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。
モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。もし言語のモデルがある特定のまたは（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。
モデル理論は代数および普遍代数と関係が深い。
この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。
言語学における2大分野に統語論と意味論があるが、数理論理学における統語論に該当する大分野が証明論であるのに対し、モデル理論は同様の類推で意味論に当たる。および (1990) の一ページ目を引用すると：
モデル理論は1990年代に急速に発展し、より現代的な定義は (1997) によって与えられた：
モデル理論の不完全かつ幾分恣意的な下位区分として、古典モデル理論、群および体への応用、および幾何学的モデル理論がある。ここに含まれていないものにがあるが、これは論理学の独立した下位分野として見ることができると言っても良い。ゲーデルの完全性定理を含む古典モデル理論初期の定理の例は、上方および下方レーヴェンハイム-スコーレムの定理、の two-cardinal 定理、スコットの同形定理、タイプ排除定理 (omitting types theorem) 、そしてがある。モデル理論が体へ応用された初期の結果の例は、タルスキの実閉体についての、疑有限体 (pseudo finite field) 上のの定理、そしてロビンソンの超準解析の開発がある。古典モデル理論の発展において、の誕生が（非可算カテゴリー論 [uncountably categorical theory] 上のおよびシェラハの分類プログラムを通して）重要なステップとなった。この安定理論は、理論が満たす構文条件に基づくとの算法を発展させた。この数十年で、応用モデル理論はより純粋な安定理論と繰り返し融合してきた。この合成の結果は、この記事では幾何学的モデル理論と呼ばれている。幾何学的モデル理論は、古典幾何学的安定理論と同じく、例えばを含むために利用されている。幾何学的モデル理論の例は、関数体についてののフルショフスキーによる証明がある。幾何学的モデル理論の目標は、純粋なモデル理論の研究において実際に開発されたツールによって、さまざまな数学的構造におけるの詳細な研究を行い、"数学の地理学"を提供することである。
非自明なモデルの文脈における統語論および意味論を含む基本的な関係を説明するために、統語論側でペアノの公理のような自然数についての適切な公理とその関連する理論から始めることができる。意味論側では、通常の連続数がモデルを構成する。1930年代、スコーレムはその公理を満たす別のモデル（算術の超準モデル）を開発した。これはある特定のモデルにおいて、言語または理論をすることによって何を意味するのかを説明する。より伝統的な例は、ある群によって与えられたモデルの文脈において、群のような特定の代数系の公理を解釈することである。
普遍代数の根本的な概念は σ および σ-代数である。これらの概念はの記事において詳細に定義されている。
有限モデル理論は、普遍代数と密接に関連しているモデル理論の領域である。普遍代数のいくつかの領域と同様に、またモデル理論の他の領域と反対に、有限モデル理論は主に有限代数またはより一般的にはシグネチャ σ の有限 σ-を対象としている。
普遍代数がの意味論を与える一方、論理は統語論を与える。恒等式およびの項とともに、普遍代数はいくつかの限定的な統語論のツールも利用している。例えば、一階述語論理は量化を明確にし否定を取り入れた結果である。
モデル理論を群のような（グラフ理論においては木のような）数学的対象のクラスへ応用する最初のステップは、多くの場合は自明であるが、シグネチャ σ を選択することおよびその数学的対象を σ-構造で表現することである。次のステップは、そのクラスが、すなわち、一階述語論理における公理化可能である（すなわち、σ-構造が理論"T"を満足する場合のみ、クラス内にそのσ を含むような理論"T" が存在する）ことを示すことである。例えば、このステップは木では失敗する、連結性が一階述語論理内で表現できないためである。公理化可能性は、モデル理論が正当な対象について語ることができるのを保証する。量化記号消去法は、モデル理論がその対象について多くのことを言い過ぎないようにすることを保証する。理論 "T" は、"T" におけるすべてのモデルの（これもモデルである）がならと呼ばれる。
一階述語論理の節で見られたように、一階理論は範疇的でありえない。すなわち、一階述語論理は同形なある一意なモデルを、そのモデルが有限でない限り記述することができない。しかし、二つの有名なモデル理論に関する定理は基数κ についての κ-範疇性のより弱い概念を扱うことができる。もし濃度がκ である理論"T"の二つのモデルが同形であるならば, "T" はκ-範疇的と呼ばれる。κ-範疇性の疑問は、κ がその言語の濃度よりも大きいかどうか（すなわち、formula_1 + |σ|, ここで |σ| はシグネチャの濃度）に決定的に依存していることが分かる。有限または加算のシグネチャについて、これは非可算のκ についてのformula_1-濃度と κ-濃度の間に根本的な相違があることを意味している。
集合論（これは可算言語において表現されている）は可算モデルをもつ。すなわち、非可算集合の存在を仮定している集合論の文が可算モデルにおいても真であることから、これはとして知られている。特に、連続体仮説のの証明はモデル"内"から見たとき非可算として現れるがモデル"外"から見たとき可算となるような集合をモデルの対象として必要とする。
モデル理論的な観点は集合論にとって有用である。例えば、ゲーデルがコーエンにより開発された強制法を用いて行った構成可能集合に対する仕事によって、（哲学的に興味深い）選択公理のおよび集合論の他の公理からの連続体仮説を証明することができる。
ゲーデルの完全性定理は、ある理論が無矛盾である、すなわちその理論によって矛盾が生じない場合だけ、その理論はモデルを持つこと述べている。これはモデル理論の核心であり、モデルを見ることで理論についての疑問に答えることができ、逆も同様である。理論の完全性をと混同しないこと。
コンパクト性定理は、もし文S のすべての有限部分集合が充足可能なら文S の集合は充足可能であることを述べている。証明論の文脈においては、すべての証明が持つことのできる証明において用いられるの数は有限なので、類似の言明は自明である。モデル理論の文脈では、しかしながら、この証明はより困難となる。この証明には二つのよく知られたものがある。一つはゲーデルによるもの（複数の証明を経由して行われた）で、もう一つがによるもの（これはより直接的で結果として生じるモデルの濃度を制限することができる）である。
モデル理論は通常、一階述語論理と結びついており、（完全性やコンパクト性のような）多くの重要な結果は二階述語論理や他の代わりの理論では成り立たない。一階述語論理では、すべての無限濃度は可算である言語にとっては同じに見える。これはレーヴェンハイム-スコーレムの定理において次のように表現されている。無限モデルformula_3（少なくともその言語の無限モデル）を持つ全ての可算理論は、全ての文においてformula_3と一致する全ての無限濃度のモデルを持つ、すなわちそれらは"である。
主題としてのモデル理論はおおよそ二十世紀の中頃から存在している。しかしながら、特に数理論理学においてそれ以前から研究されていたいくつかの理論はモデル理論的な性質を持っていたと考えることができる。モデル理論の系譜における最初の顕著な成果はにより1915年に発表された下方レーヴェンハイム-スコーレムの定理の特別な事例である。コンパクト性定理は、トアルフ・スコーレムによる仕事において萌芽が見られるが、ゲーデルの完全性定理の証明中の補題として1930年に初めて発表された。レーヴェンハイム-スコーレムの定理およびコンパクト性定理は1936年および1941年にによって一般的な形で形式化された。