集合論における推移的モデル
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/07/31 03:19 UTC 版)
「推移的集合」の記事における「集合論における推移的モデル」の解説
有界な式によって定義された性質が推移的クラスに対して絶対的であるということから、推移的クラスは集合論の中におけるinterpretationsの構成のためにしばしば用いられる。これはいわゆる内部モデルと言われるものである。 推移的集合(クラス)が集合論のformal systemのモデルであることをその理論の推移的モデルと言い表す。推移性は式の絶対性を決定するのに重要な要因である。
※この「集合論における推移的モデル」の解説は、「推移的集合」の解説の一部です。
「集合論における推移的モデル」を含む「推移的集合」の記事については、「推移的集合」の概要を参照ください。
ウィキペディア小見出し辞書の「集合論における推移的モデル」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 集合論における推移的モデルのページへのリンク
