ShelahはPC、WoodinはMacだそうで。Woodinの理論はそういう人じゃないと使えないけれども、Shelahのアイデアはわりと誰でも使えるということで。

これ。transitive collapse - くるるの数学ノート第二弾をやっていないじゃないですか。むしろそっちのほうが肝心なのに。V=Lから連続体仮説が証明できる話のアウトラインをやる予定。

私用で忙しく…。やっぱり集合論そのものの話をしたいので書きたいのですが。とりあえず8月後半ごろからは通常営業になるかと。