2020-12-17 2020年12月前半 この半月の間にいわば「自分の定理」を証明することができた。とても嬉しい。 12月2日。ハウスドルフ次元0イデアルについて早稲田セミナーで話す。いい感じにアドバイスを貰えてよかった。 12月5日。東山動植物園に行く。なかなかの見応えだった。 12月7日。上に書いた通り、自分の定理が証明できた日。 12月13日。Mathematical Logic Advent Calendar 2020の記事として「強いフビニの定理の独立性」を書く。 mathlog.info 12月14日。CPU本の読書会が最終回を迎える。