数理論理学との関わり
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/09/15 14:55 UTC 版)
「トポス (数学)」の記事における「数理論理学との関わり」の解説
Kripke-Joyalの意味論とよばれる手続きによって集合論的論理式をトポスの対象と射についての言明として解釈することができる。トポス Sets における解釈が通常の記号論的な集合とその元に関する論理式解釈となる。群、可換群、環などの数学的(特に代数的)構造の公理を論理式によって表現したとき、景 (C, J) 上のグロタンディーク・トポスにおいてその論理式を満たすような対象が (C, J) 上の群、可換群、環などの層になる。局所環の層などについての局所的な条件も、全称量化子を用いた論理式によって自然に表現される。 一方、適切な景 (P, J) をポール・コーエンによる強制法 (forcing) の議論をなぞって構成し、その上の層の圏として連続体仮説が成立しないような集合論のモデルを得ることができる。同様にして選択公理が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには排中律が成り立たないような直観主義的モデルも自然に現れる。
※この「数理論理学との関わり」の解説は、「トポス (数学)」の解説の一部です。
「数理論理学との関わり」を含む「トポス (数学)」の記事については、「トポス (数学)」の概要を参照ください。
- 数理論理学との関わりのページへのリンク