2008-02-20 「仙台ロジックセミナー」初日 研究集会 14時より17時まで。二階算術における強制法をsyntacticalにやる方法についてと、マーティン=レフ-ランダム性とチャイティン-ランダム性の同値性について。Simpson氏も盛んに質問していた。