制作物

擬順序の代わりにその一般化と捉えられる圏を用いた強制法を定式化し、その性質や適用例（選択公理の否定の強制モデル）について述べた文章

キーワード： 文章、PDF、数学、数理論理学、集合論、強制法、層、圏

公開日：2021年8月24日

ダウンロード：PDF

『層と強制法の関係 -完備ハイティング代数の観点から-』の補足文章

キーワード： 文章、PDF、数学、数理論理学、集合論、強制法、層、ハイティング値モデル、ハイティング代数

公開日：2018年12月22日

ダウンロード：PDF

層と強制法の関係について、完備ハイティング代数の観点からまとめた文章

キーワード： 文章、PDF、数学、数理論理学、集合論、強制法、層、ハイティング値モデル、ハイティング代数

公開日：2017年12月11日

ダウンロード：PDF

ブール値構造についてまとめた文章

キーワード： 文章、PDF、数学、数理論理学、モデル理論

公開日：2011年11月25日

ダウンロード：PDF

任意の可算全順序集合が有理数体へ上手く埋め込めることの証明

キーワード： 文章、PDF、数学、順序、位相

公開日：2011年5月15日

ダウンロード：PDF