私が博士課程に入学して実数の集合論の勉強を始めたのは1997年、そのころ既に「"Handbook of set theory"はずっと前から編集中で、いつ出版されるのか分からない」と言われていた。あまりに出版が遅れているので、一部の草稿のコピーが関係者の間で出回って…

起床は8時、今日も眠い。 3限のA教授の授業はBounded arithmeticについて。Textは Foundations of Proof Complexity: Bounded Arithmetic and Propositional Translations (S. Cook and P. Nguyen)。本日が実質第一回目、Parikhの定理とAnchored cut elimina…