算術の超準モデル

算術の超準モデル（さんじゅつのちょうじゅんモデル、）とは、（一階）ペアノ算術のモデルのうち、通常の自然数ではない元（超準数）を含むようなモデルのことである。それに対し、通常の自然数  は算術の標準モデルと呼ばれる。ペアノ算術の任意のモデルは線形順序で並んでおり、 と同型な切片を持つ。超準モデルは、その切片の外に元を持つようなモデルであると言える。

存在
算術の超準モデルの存在を証明する方法はいくつか存在する。

コンパクト性定理による方法
コンパクト性定理を用いて超準モデルの存在を示すことができる。証明の概略は、 を新たな定数として、ペアノの公理系  に  という形の無限個の公理を付け加えた公理系  を考え、コンパクト性定理により  を満たすモデル  の存在を示すというものである坪井明人　数学基礎論サマースクール モデル理論入門。 はペアノの公理系を拡張したものであるため、当然ペアノの公理を満たしている。また通常の自然数では定数  をいかように解釈しても  を満たすようにはできないため、 は超準数であり、 は超準モデルとなる。

 にコンパクト性定理を適用するには、その任意の有限部分  がモデルを持つことを示せばよい。 は  の部分集合に （）という有限個の公理を付け加えた形をしているため、 の解釈を  と定めれば、自然数  が  のモデルになっていることが言える。

ゲーデルの不完全性定理による方法
不完全性定理により、標準モデルでは真であるがペアノの公理系においては決定不能であるような文（ゲーデル文） が存在する。このとき、完全性定理より、ペアノの公理系  に  を加えた公理系にモデルが存在する。標準モデルで  は真なので、このモデルは超準モデルでなければいけない。このように、 を満たすことは、そのモデルが超準的である為の十分条件となる。しかし、これは必要条件ではない。いかなるゲーデル文  に対しても、 が真であるようなあらゆる濃度のモデルが存在する。

算術が無矛盾であると仮定すれば、算術に  を付け加えたものもまた無矛盾である。しかし、 は算術が矛盾していることを意味するのだから、結果得られた算術の体系は ω-無矛盾にはならない（なぜなら、 は偽であり、したがって ω-無矛盾性に反する）。

超積による方法

算術の超準モデルを構成するもうひとつの方法は超積に基づくものである。典型的な構成では自然数列全体の成す集合  を用いる。2つの列が同一視されるのは、それらがある固定された非単項超フィルターに属す添字集合の上で一致するときである。このようにして得られた半環は算術の超準モデルとなる。これは超自然数と同一視出来る。

可算超準モデルの構造
超積モデルは非可算となることが知られている。このことを見るには  の無限直積から超積モデルへの単射を構成すればよい。他方でレーヴェンハイム-スコーレムの定理により、算術の可算な超準モデルが存在しなければならない。構成法の一つとしてヘンキン構成を用いた方法がある。

・定理

算術の超準モデルの順序構造は、ある端点を持たない稠密全順序集合  を用いて、 と表せる。

特に、可算超準モデルの場合、上の表示において、 は可算となるので、端点を持たない稠密全順序の理論（DLO）の可算範疇性より、 は  と同型となる。したがって可算超準モデルの順序構造は  と表せる。

・証明

いま  を算術の超準モデルとする。 は  を含んでいるものと見做せる。ペアノ算術では、各自然数  に対して、

が証明可能である。したがって  に於いて真である。このことから  は  の後ろに無限大元からなる部分を繋げたような順序構造をしていることが分かる。すなわち、順序集合として が成り立つ。

次に  の順序構造を調べる。いま  上の二項関係
 （つまりある自然数  に対して  または ）
を考える。これは同値関係となる。各々の同値類は

の形をしていることが分かる。商集合  上の二項関係を

で定めると、これはwell-definedであって、全順序となることが分かる。このとき、 の2元  について、 であることと、次の条件は同値である：
  であって、 と書いたとき ；もしくは

したがって  の順序は  上の逆辞書式順序となっている。

最後に  の順序構造を調べる。任意の  に対して  が成り立つ。任意の元は偶数または奇数であることはペアノ算術で証明できる。よって  はある  によって  のいずれかの形に表せる。またこのとき  であり、 が成り立つ。したがって  は端点（最大元と最小元）を持たない。次に  について  と仮定する。 は偶数または奇数だから、ある  によって  のいずれかの形に表せる。いずれにしても  であり、 が成り立つ。すなわち  は稠密である。

以上より、 であり、 は端点を持たない稠密全順序集合である。

脚注

 参考文献 
 - 

関連項目

真の算術
超準解析
モデル理論

Category:算術
Category:算術の形式理論
Category:モデル理論
Category:数学に関する記事