最近はFine structure theory勉強してます。あとはStationary tower forcingを使って、Woodin limit of Woodinが存在するとき、Chang modelで実数の集合の正則性が成り立つことを示しました。実数の集合の正則性を得るにはinaccessibleをLevy collapseしてV[…