公理化可能性、量化記号消去、およびモデル完全性
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/05 04:57 UTC 版)
「モデル理論」の記事における「公理化可能性、量化記号消去、およびモデル完全性」の解説
モデル理論を群のような（グラフ理論においては木のような）数学的対象のクラスへ応用する最初のステップは、多くの場合は自明であるが、シグネチャ σ を選択することおよびその数学的対象を σ-構造で表現することである。次のステップは、そのクラスが初等クラス（英語版）、すなわち、一階述語論理における公理化可能である（すなわち、σ-構造が理論Tを満足する場合のみ、クラス内にそのσ を含むような理論T が存在する）ことを示すことである。例えば、このステップは木では失敗する、連結性が一階述語論理内で表現できないためである。公理化可能性は、モデル理論が正当な対象について語ることができるのを保証する。量化記号消去法は、モデル理論がその対象について多くのことを言い過ぎないようにすることを保証する。理論 T は、T におけるすべてのモデルの下位構造（英語版）（これもモデルである）が初等下位構造（英語版）ならモデル完全（英語版）と呼ばれる。
※この「公理化可能性、量化記号消去、およびモデル完全性」の解説は、「モデル理論」の解説の一部です。
「公理化可能性、量化記号消去、およびモデル完全性」を含む「モデル理論」の記事については、「モデル理論」の概要を参照ください。
ウィキペディア小見出し辞書の「公理化可能性、量化記号消去、およびモデル完全性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 公理化可能性、量化記号消去、およびモデル完全性のページへのリンク
