7月前半振り返り

星取表:

• 研究室ゼミはproper強制の基本性質を見たりしているところ。次回2 step iterationでproperが保たれることを言って春学期は終わりっぽい。あまり進度がよくない。

• 週刊MAのモデルを作るというシリーズをこのブログで始めた。

  • 7月2日 第0回: 週刊 MAのモデルを作る #00 MA (マーティンの公理)とは何か - 理科
  • 7月7日 第1回: 週刊 MAのモデルを作る #01 MAの応用 - 理科
  • 7月15日 第2回: 週刊 MAのモデルを作る #02 名称と強制関係の定義 - 理科

• 7月5日。先輩と議論してSacks強制がAxiom Aを満たすことの行間を埋めた。

• 7月10日。筑波ゼミでFirst Periodicity Theoremについて話す。

• 7月11日。名古屋ゼミでBanach-Tarskiについて話す。

• 7月13日。映画館に風の谷のナウシカを見に行った。
• 7月14日。AtCoderのEducational DP Contestに夢中になる。
• 7月15日。先輩と次の命題について議論した: 「boldface ∑^0_ξな集合Aが与えられたらboldface ∑^0_ξ measurableな関数fと開集合Oがあって、A=f^{-1}(O)と書ける」