レーヴェンハイム–スコーレムの定理

レーヴェンハイム–スコーレムの定理

レーヴェンハイム–スコーレムの定理は、数理論理学において重要な役割を果たす定理であり、特に可算な一階の理論に関する興味深い特性を示しています。この定理は、任意の可算な一階理論が無限モデルを持つ場合、その理論に応じた無限の濃度を持つモデルが存在し得ることを述べています。

定理の概要

定理は以下のようにまとめることができます。可算な一階理論が無限モデルを持つなら、どのような無限濃度 κ に対しても、その大きさが κ であるモデルが存在します。これにより、一階の理論は、その持つ無限モデルの濃度を制御できず、一階の理論が持つ無限モデルは同型の違いを除いて一意に定まらないという結論が導かれます。

定理の背景

この定理において重要な概念は「シグネチャ」と呼ばれるもので、これは関数記号や関係記号の集合から成り立っています。このシグネチャから構成される一階の理論は、運用する際の基本的な規範を提示します。シグネチャが可算の際、同様の理論に関してもその性質が成り立ちます。

一階の理論は、特定のシグネチャとそのシグネチャに基づく文の集合によって形成され、論理的帰結に基づいて完結性が求められます。この理論のモデルとなる σ 構造では、シグネチャに含まれる記号群が具体的に解釈され、基盤となる集合とその関数、関係記号の解釈を含みます。

一階の理論の特性

一階の理論では、初等部分構造や初等的拡張といった概念が用いられます。初等部分構造は、全ての関数記号の解釈がその部分構造でも満たされる特殊な形態です。この初等部分構造と初等的拡張は、モデル同士の関係を深める鍵となる要素です。

一般化された定理

現代的な観点からは、レーヴェンハイム–スコーレムの定理はさらに一般化されています。すなわち、任意のシグネチャσにおいて、無限濃度のσ構造が存在する場合、無限濃度 κ に対して大きさがκとなるσ構造が存在することが示されています。これにより、構造の大きさに関する理解が更に拡張されました。

具体例とその影響

例えば、自然数 N と実数 R の理論に関する結果を考えてみましょう。理論 (N, +, ×, 0, 1) は非可算なモデルを持っており、同様に (R, +, ×, 0, 1) も可算なモデルを持つことが分かります。しかし、同型の違いを除けば、これらの理論は一階において一意でないことを示しています。

また、レーヴェンハイム–スコーレムの定理は、範疇的categorical な理論が持つモデルの制限に対する洞察を提供します。この理論が範疇的であるということは、同型の違いを除いて唯一のモデルを持つことを意味しますが、その背後には無限の可能性が存在することが明らかになっています。

歴史的背景

この定理の発展には、ゲーデルの完全性定理が重要な役割を果たしています。歴史的には、レオポルト・レーヴェンハイムによって1915年に初めて提唱され、その後、トアルフ・スコーレムが証明を行いました。スコーレムは、その後の証明プロセスで重要な進展を遂げ、アルフレッド・タルスキとの共同作業により、さらに包括的な理解が進みました。

結論

レーヴェンハイム–スコーレムの定理は、数理論理学及びモデル理論における重要な基盤を築くものであり、その影響は歴史を通じて多くの論理学者に波及しています。特に、一階の理論とそのモデルの関係を理解する上で、この定理が果たす役割は計り知れません。

もう一度検索