5月前半振り返り

星取表:

• 5月2日。自主ゼミで無限集合に入る位相の数について話した。
• 5月5日。研究室ゼミ。Baumgartnerの1節を読んだ。
• 5月7日。Twitterでシュワルツ微分という名前が話題になっていたので、カントールの論文にあたるなどしていた。 (https://twitter.com/t_uda/status/1258378744474906626)
• 5月8日。歯医者で虫歯の治療後、新屋さんのところで『組合せ数え上げとランダム写像の漸近解析』の単発ゼミ。Flajolet--Sedgewickのゼミしたいねという話になった
• 5月12日。発表はまだだが、MAの無矛盾性の証明を追えた。反復強制を使ったMA (or SH)の無矛盾性証明の分かりやすい説明が書かれた文書:
  • ススリンのことかーーーっ！！！ (続・実数TL) - Togetter
  • Suslin 木，Cohen 実数，Minimal Walk
  • https://twitter.com/j_tGAP/status/1245729625151541250
• 5月14日。C[0, 1]の素イデアルであって極大イデアルでないものの存在についてTwitterで話題になっていた。それ昔山内先生が授業でやっていたなあと思ってノートを掘り返した。Zornの補題を使っているので構成的ではない。もしかしたら選択公理なしには存在が言えないのかも？

  奇跡的にノートが残っていた。しかしZornの補題を使っていたので構成とは言えなさそう pic.twitter.com/q5AcSogEoc

  — でぃぐ (@fujidig) 2020年5月14日

• 5月15日。研究室ゼミ。Baumgartnerの2節と3節のMA*⇒MAを読んだ。筑波の自主ゼミに参加。今回は誰も発表しなかった。
• 5月16日。自主ゼミでマーティンの公理について話した。1回で終わらせるつもりだったが、Hechler強制について話す前に1時間半たったのでまた次回ということに。zoomの部屋を提供してくれているFさんがゼミの発表中非常に反応をしてくれて助かる