東工大ロジック・セミナー

テキスト

・ Structures of Models of Peano Arithmetic (R. Kossak and J. Schmerl)

・ Models of Peano Arithmetic (R. Kaye)

・ Recursively Enumerable Sets and Degrees (R. I. Soare)

吉川さんのレジュメ

日時

・ このセミナーは2009年度末で一端終了しました．

問い合わせ先

・ 横山啓太（東北大学）：y-keita[at]math.tohoku.ac.jp

履歴

・ 2009年度 4/17, 5/9, 6/6, 8/3, 9/28, 10/31, 12/5, 12/25, 3/26

・ 6/6 は東北大の根元さんに“無限ゲーム入門”というタイトルで御講演いただきました．

・ 5/9 は横山が“Non standard reverse mathematics and reverse non-standard mathematics”という題で話をしました．

・ 2008年度前期は毎週土曜日

・ 2008年度後期は10/11, 11/8, 11/22, 12/20, 1/10, 2/7, 3/12, 3/18

・ 3/12 は神戸大の江口さんが自身の最新の研究について紹介してくれました．

・ 2/7は東工大の坂川さんに“記号が制限された古典/直観主義２階命題論理”というタイトルで御講演いただきました．

　　　（スライド／レジュメ）

・ 2/7は東工大の吉川さんが“NKCの強正規化性について”の問題を紹介してくれました（レジュメ）

・ 1/10は東北大の薄葉さんに“強制法入門・応用・最前線”というタイトルで御講演いただきました．

・ 12/20は東北大の堀畑さんが “Weak theories of incompleteness” (Vitezslav Svejdar) について紹介してくれました（レジュメ）．

top page