絶対性 (数理論理学)

現代の集合論の主要な部分は、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に適用されるレーヴェンハイム-スコーレムの定理は、このような状況が起こることを示している。

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

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

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

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

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

• 保存拡大
• レヴィ階層

• Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
• Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
• Shoenfield, Joseph, 1961. "The problem of predicativity", Essays on the foundations of mathematics, Y. Bar-Hillel et al., eds., pp. 132–142.