超積による方法

ウィキペディア小見出し辞書

超積による方法

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/10 08:27 UTC 版)

「算術の超準モデル」の記事における「超積による方法」の解説

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