絶対性 (数理論理学)のソースを表示

[[数理論理学]]において、[[論理式 (数学)|論理式]]がある構造（モデルとも呼ばれる）のクラスについて'''絶対的'''であるとは、そのクラスに属する各構造において同じ真理値を持つことをいう。また、式が2つの構造を含むクラスに対して絶対的であれば、2つの構造の''間''で絶対的であると言うこともある{{clarify|reason=a formal definition is completely missing currently.|date=September 2022}}。絶対性に関する定理は通常、数式の絶対性とその統語論的形式との関係を確立する。

部分的な絶対性には2つの形式がある。ある構造 ''M'' の各[[部分構造 (数学)|部分構造]] ''N'' においてある式が真であることが、''M'' においてその式が真であることから導かれる場合、その式は'''下向き絶対的'''であるという。構造 ''N'' においてある式が真であることが、''N'' を拡張する各構造 ''M'' においてその式が真であることを含意する場合、その式は'''上向き絶対的'''であるという。

絶対性についての問題は[[集合論]]と[[モデル理論]]といった複数の構造を同時に考える分野で特に重要である。モデル理論では、いくつかの基本的な結果や定義が絶対性によって動機づけられている。集合論においては、集合のどんな性質が絶対であるかという問題がよく研究されている。[[Joseph R. Shoenfield|Joseph Shoenfield]] (1961)による[[シェーンフィールドの絶対性定理]]では、集合論のモデルとその[[構成可能集合|構成可能宇宙]]との間で式の大きなクラスについての絶対性を確立し、重要な方法論的帰結がもたらされた。また、[[巨大基数公理]]の絶対性も研究されており、いくつか肯定的な結果と否定的な結果が知られている。

== モデル理論において ==

[[モデル理論]]では絶対性に関連するいくつかの一般的な結果と定義がある。下向き絶対性の基本的な例として、ある構造において真である全称文（全称量化子のみを持つ文）は、元の構造のすべての部分構造においても真であるというものがある。逆に、存在文はある構造からそれを含むあらゆる構造へと上向きの絶対性を持つ。

二つの構造が[[初等同値性|初等的同値]]であると定義されるのは、それらが共有する言語におけるすべての文の真理値について一致する場合、つまり、それらの言語におけるすべての文が二つの構造の間で絶対的である場合である。''M'' と ''N'' が理論のモデルであり、''M'' が ''N'' の部分構造であるときに、いつでも ''M'' が ''N'' の[[初等部分構造]]になるのであれば、その理論は[[モデル完全]]であると定義される。

== 集合論において ==

現代の[[集合論]]の主要な部分は、[[ツェルメロ＝フレンケル集合論|ZF]]とZFCのさまざまなモデルの研究を含む。このようなモデルの研究にとって、集合のどの性質が異なるモデルに対して絶対的であるかを知ることは非常に重要である。一般的な方法としては、集合論のモデルを固定して、それと同じ[[順序数]]を持つ[[推移的集合|推移的]]モデルに限定して検討する。

いくつかの性質は集合論の全ての推移的モデルについて絶対的である。以下のような例がある。(Jech (2003 sec. I.12) や Kunen (1980 sec. IV.3) を参照). 
* ''x'' は[[空集合]]である.
* ''x'' は順序数である.
* ''x'' は有限順序数である.
* ''x'' は後続順序数である. 
* ''x'' は極限順序数である.
* ''x'' = ω.
* ''x'' は[[関数 (数学)|関数]]（のグラフ）である.

絶対的でない性質の例:
* [[有限]]であること
* [[可算]]であること
* [[基数]]であること
* [[正則基数]]であること
* [[極限基数]]であること
* [[到達不能基数]]であること

=== 可算性が絶対的でないことについて ===

[[スコーレムのパラドックス]]とは[[実数]]全体の集合は不可算 (これはZFC、あるいはZFCの小さな有限部分系ZFC'からも証明可能)であるが、その一方でZFC' の可算推移モデルが存在し (これはZFCで証明可能)、このモデルの実数全体の集合は（外から見れば）可算集合であるという、一見矛盾した状況を指す。このパラドックスは、可算性がZFCの特定のモデルの部分モデルに対して絶対的なものではないことに注意することで解決できる。集合 ''X'' はある集合論のモデルでは可算であるが、その部分モデルでは可算でないということがありうる。というのも、''X'' の可算性を定義するのに必要な ''X'' と ω の間の[[全単射]]が部分モデルには存在していないかもしれないからである。ZFCに適用される[[レーヴェンハイム-スコーレムの定理]]は、このような状況が起こることを示している。

=== シェーンフィールドの絶対性定理 ===

'''シェーンフィールドの絶対性定理''' は[[解析的階層]] の <math>\Pi^1_2</math>, <math>\Sigma^1_2</math> に属する文が、[[自然数]]に関する記述として解釈した場合に、ZFのモデル ''V'' とそのモデルの[[構成可能宇宙]] ''L'' との間で絶対的なものであることを示したものである。この定理を相対化して、''V'' の自然数の集合をパラメータとして使うこともできる、この場合、''L''はそれらのパラメータと全ての順序数を含む最小の部分モデルに置き換えなければならない。この定理の系として <math>\Sigma^1_3</math> 文は上向き絶対的（''L'' で成立する文は ''V'' でも成り立つ）であって<ref>P. Odifreddi, ''Classical Recursion Theory'' (1989), p.430</ref> <math>\Pi^1_3</math> 文は下向き絶対的（''V'' で成立する文は ''L'' でも成り立つ）である。同じ順序数を持つ集合論の任意の2つの推移モデルは同じ構成可能宇宙を持つので、シェーンフィールドの定理はそのような2つのモデルは全ての <math>\Pi^1_2</math> 文の真理について一致しなければならないことを示している。

シェーンフィールドの定理の1つの帰結に[[選択公理]]に関するものがある。ゲーデルは、''V'' がZFのみを満たすと仮定した場合でも、構成可能宇宙 ''L'' は常に選択公理を含むZFCを満たすことを証明した。シェーンフィールドの定理は、ZFのモデルで与えられた <math>\Sigma^1_3</math> 文 ''φ'' が偽であるものが存在するとき、そのモデルの構成可能宇宙においても ''φ'' は偽であることを示している。対偶として、もしZFCで <math>\Sigma^1_3</math> 文が証明できるならその文はZFでも証明可能であることを意味している。同じ議論は、組合せ原理[[ダイヤモンド原理|◊]]のような、構成可能宇宙で常に成り立つ他の原理にも適用できる。これらの原理がZFから独立しているとしても、そういった原理の <math>\Sigma^1_3</math> な帰結はZFで証明可能である。特に、[[ペアノ算術]]の（一階）言語で表現できるような帰結は全て含まれる。

シェーンフィールドの定理は[[強制法]]によって得られる独立性の結果に限界があることも示している。特に、ペアノ算術のどの文も、同じ順序数を持つ集合論の推移モデルに対して絶対的である。強制法は適用されるモデルの順序数を変えないため、したがって算術文の真理値を変えるために強制法を用いることはできない。[[リーマン予想]]や[[P≠NP予想]]などの多くの有名な未解決問題は、<math>\Pi^1_2</math> かそれ以下の複雑さの文で表現できるため、強制法で ZFC からの独立性を証明することはできない。

=== 巨大基数 ===

[[巨大基数]]には、集合論のどんなモデルの[[構成可能宇宙]] (''L'') にも存在できないものがある。それにもかかわらず、構成可能宇宙には元のモデルが持っている順序数を全て要素に持っている。この "パラドックス" はそういった巨大基数を定義している性質が部分モデルに対して絶対的ではないことに注目することで解決できる。

そのような絶対的でない巨大基数公理の例として[[可測基数]]のものがある; 順序数が可測基数であるためにはある性質を満たす別の集合（測度）が存在しなければならないが、そのような測度は構成可能ではないことを示すことができる。

== 関連項目 ==
* [[保存拡大]]
* [[レヴィ階層]]

== 参考文献 ==
*[[Thomas Jech|Jech, Thomas]], 2003. ''Set Theory: The Third Millennium Edition, Revised and Expanded''.  Springer.  {{isbn|3-540-44085-2}}.
*[[Kenneth Kunen|Kunen, Kenneth]], 1980. ''Set Theory: An Introduction to Independence Proofs''. Elsevier.  {{isbn|0-444-86839-9}}.
* [[Joseph R. Shoenfield|Shoenfield, Joseph]], 1961. "The problem of predicativity", ''Essays on the foundations of mathematics'', Y. Bar-Hillel ''et al.'', eds., pp.&nbsp;132&ndash;142.

=== 脚注 ===
{{Reflist}}

{{DEFAULTSORT:せつたいせい}}
[[Category:数理論理学]]
[[Category:論理学の概念]]
[[Category:数学に関する記事]]