Cabal seminarのvolume 1と2を購入しました．いくつかの記法が改善されていたりと古いものと比べてだいぶ読みやすいです．地道に読み進めていきます． 現在Steelの「Scales in L(R)」を読むのを目標にしてゼミをしています． ちょうどKechrisの「AD and proj…

最近はPD，ADの無矛盾性証明を頑張っています． エクステンダー，Woodin基数，iteration treeなどに阻まれてなかなか進みません．かなり苦戦していますが夏休み中に理解したいです．