9月16日。映画インターステラーを見に行く。3時間の映画は長くて疲れた…。 9月17日。理容室に行って髪を切ってもらう。なばなの里とナガシマスパーランドは理容師さんにも英語の先生にもおすすめされたので行ってみたい。 9月20日。渕野先生のIterated Forin…

強制法ではよく「上のジェネリックフィルター」をとる．こんなものは実在しないのであるが，ではなぜそれがあると考えて議論してもいいのだろうか． 一つの正当化の方法として，Lévyの反映定理を使うものがある．それを紹介しよう． 以下の命題を例に取ろう…

星取表: 9月4日。研究室セミナー。Abraham "Proper Forcing" 2章を読み終える。次回からBlass "Combinatorial Cardinal Characteristics of the Contnuum"を読んでいく。Abrahamの3章に進まないのはむずくてやる気がしないのが理由で、まあ必要になれば戻っ…

星取表 8月30日。都内数学科学生集合 (通称都数)で発表をする。 8月総会がオンラインで開催されています！！発表者はGさんで、タイトルは『集合論のブール代数値モデルとハイティング代数値モデル』です。#tosuu2020aug pic.twitter.com/HU1TrDZ3lq— 都内数…