Baumgartner の Iterated forcing ゼミ企画 その2

第2回です。chain condition と closure condition が iteration で保存されるための条件に関して論じた節です。ちょっと読み下しが難しい部分がいくつかありましたね……。結果的になんとかできましたが。

他にすべきことがあるので今後の投稿ペースは悪くなると思われます。

https://drive.google.com/file/d/1FkQhMnVbfXuglJQiC_IY-4AQM54tW7Wt/view?usp=sharing