第2回です。chain condition と closure condition が iteration で保存されるための条件に関して論じた節です。ちょっと読み下しが難しい部分がいくつかありましたね……。結果的になんとかできましたが。
他にすべきことがあるので今後の投稿ペースは悪くなると思われます。
https://drive.google.com/file/d/1FkQhMnVbfXuglJQiC_IY-4AQM54tW7Wt/view?usp=sharing
このブログは、
私のtwitterアカウント
や下記YouTubeチャンネルではできないことを補助したりするものです。
このブログの基本方針は「日頃の数学の勉強で気づいたことなどをメモする」です。
ちなみに proper_TAJIRI の proper の由来は当ブログでよく話題にしていた forcing とは関係ありません。
YouTubeチャンネルはこちら
第2回です。chain condition と closure condition が iteration で保存されるための条件に関して論じた節です。ちょっと読み下しが難しい部分がいくつかありましたね……。結果的になんとかできましたが。
他にすべきことがあるので今後の投稿ペースは悪くなると思われます。
https://drive.google.com/file/d/1FkQhMnVbfXuglJQiC_IY-4AQM54tW7Wt/view?usp=sharing
久しぶりの記事投稿です。Baumgartner の Iterated forcing を精読し、初学者向けを想定して内容を日本語で解説したゼミ資料を作っていく企画です。
チャレンジ企画なので完遂できるかまだ現時点では分かりません。私自身の理解と並行してやっているので。不定期更新で原著のセクション分けに基づき全9回を予定しています。
初回は反復強制の定義と基本性質まで。まだなんら面白いところに入っていないので、反復強制初見の方でない限り流し読みで問題ないと思います。
https://drive.google.com/file/d/1TJt8CN4C1ZAXeJDzzlQC-CywjA96Hlj9/view?usp=sharing