突然ですが、Boole値モデル

http://konn-san.com/math/boolean-valued-model-and-forcing.html
Boole値モデルと強制法 konn-san.com posted on 2016/07/11 11:00:00 JST
(抜粋)
概要
集合論における無矛盾性証明で用いられる主要な手法である強制法と，密接に関連するBoole 値モデルの手法について，本稿では幾らか証明を省略しつつ概略を採り上げます．また，Hamkins ら [1] の説明に基づいて，超冪と Boole 値モデルの関係についても簡単に解説します．

[PDF版] http://konn-san.com/math/boolean-valued-model-and-forcing.pdf

強制法の基本的な考え方と Boole 値モデル
直観的には，現在の集合の宇宙 VV に新しい元 GG を付加した，新たな宇宙 V[G]V[G] を得たい，というのが強制法のモチヴェーションです． しかし，そうはいっても集合の全体は既に VV で確定しているので，「新しい元」というのはそのままでは意味を成しません．

そこで，強制法では集合概念を拡張することを考えます． どういう事でしょうか？ まず，一般の集合 x∈Vx∈V は，と同一視することで，部分関数 x:V?2x:V?2 と見做すことが出来ます． 22 というのは「各元が xx に属すか？」という真偽値ですから，この真偽値を一般の Boole 代数 BB に一般化しようというというのが強制法の基本的なアイデアです．

このように，所属関係の真偽値を完備 Boole 代数 BB に一般化した集合のことを，BB-nameと呼びます．

＜関連＞
http://konn-san.com/
konn-san.com 建設予定地 konn-san.com posted on 2016/11/01 13:54:45 JST
集合論など数理論理学関連を中心に、数学・関数型プログラミング・ミステリなどに関する情報を集積してあります。