近況

最近はFine structure theory勉強してます。

あとはStationary tower forcingを使って、Woodin limit of Woodinが存在するとき、Chang modelで実数の集合の正則性が成り立つことを示しました。実数の集合の正則性を得るにはinaccessibleをLevy collapseしてV[G]の内部モデルを取ることで得られるSolovay modelがありますが、十分強いlarge cardinalが存在するだけで実数の集合の正則性が得られるのはとても興味深いことだと思っています。集合論のモデルと巨大基数と実数の集合の関係、私が集合論を勉強している大きなモチベーションです。

CabalではL(R)のscale propertyについてやっています。Steelのscales in L(R)をB2の間に読み終えたいです。

明後日から数学基礎論若手の会に参加します。発表緊張します。

それでは。