MoschovakisのDSTをChapter 2まで読んだ．Boldface $\mathbf{\Delta}^1_1$ならばBorelの証明は天才的で，読んでいて楽しかった．あと，Tent-ZieglerのSeparation Lemmaで似たようなことやったなあ，というのを思い出したりした