>>393
(引用開始)
彼の人が良く引用するのはこれだったかな？
https://konn-san.com/math/boolean-valued-model-and-forcing.html
ここで行っている全ての操作はVの中でのモノ
そこでVBを作りそれがV[G]と見なせることおよび
(引用終り)

それ、強制法の宇宙Vだよ
到達不能基数の宇宙の議論とは微妙に違う

強制法の宇宙は、例えて言えば 宇宙を横に広げる話
到達不能基数の宇宙の議論は、宇宙を縦（高さ方向）に広げる話だ

なお
（この人はめちゃ優秀です。むかしっから資料の参照をさせてもらっています。分かり易い）
https://konn-san.com/profile.html
自己紹介(石井大海)
2019/03 筑波大学大学院 数理物質科学研究科 数学専攻 博士後期課程修了
2017/04〜2019/03 日本学術振興会特別研究員（DC2）
2016/04〜 筑波大学大学院 数理物質科学研究科 数学専攻 博士後期課程
2016/03 筑波大学大学院 数理物質科学研究科 数学専攻 博士前期課程修了
2014/04 筑波大学大学院 数理物質科学研究科 数学専攻入学
2014/03 同卒業（基幹理工学部総代）
2011/04 早稲田大学基幹理工学部 数学科配属