MoschovakisのDSTをChapter 2まで読んだ.Boldface $\mathbf{\Delta}^1_1$ならばBorelの証明は天才的で,読んでいて楽しかった.あと,Tent-ZieglerのSeparation Lemmaで似たようなことやったなあ,というのを思い出したりした
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.