取り急ぎ数学関係の記事を纏めておくばしょです。内容の正確性などについては保証しません。 コンテンツ一覧 古典的実現可能性モデルノート - 2022/09/16 21:00:00 JST 古典的実現可能性モデル(classical realisability)の手法は,Curry–Howard対応を拡張する形でZF\mathrm{ZF}ZFのモデルを与える方法であり,Krivineによって導入された. 強制法を特別な場合として含むが,ZFC\mathrm{ZFC}ZFCから開始してもZF+¬AC\mathrm{ZF}+\neg \mathrm{AC}ZF+¬ACのモデルが得られるという点で強制法を真に一般化するものになっている. Boole値モデルと強制法 [PDF版] - 2022/06/11 18:00:00 JST 集合論における無矛盾性証明で用いられる主要な手法である強制法と,密接に