[logic-ml] 講演のお知らせ

[minami at kurt.cla.kobe-u.ac.jp]

皆様，
重複してお受け取りの際はご容赦ください。

名古屋大学の南裕明と申します．
以下の要領で名古屋数学基礎論/集合論 セミナーを開催します．
興味のある方は是非参加を検討ください．

日時：11月9日（金）15：00〜

場所：名古屋大学情報科学（研究科）棟1階第2講義室(122)

講演者：根元　多佳子 (北陸先端科学技術大学大学院情報科学研究科）

タイトル：

The proof theoretic strength of between \Sigma^0_1 and \Delta^0_2.


アブストラクト：

弱い決定性の逆数学的研究の進展により、決定性のなす細階層について明らかになりつつあるが、
今回は \Sigma^0_1 と \Delta^0_2  の間の difference hierarchy のなす決定性の階層についての証明論的結果及び、
そこから得られる記述集合論的結果について紹介する。

アクセス：
地下鉄名城線名古屋大学駅から徒歩5〜10分．
http://www.nagoya-u.ac.jp/global-info/access-map/higashiyama/index.html
http://www.is.nagoya-u.ac.jp/intro/contact.html


この講演に関する情報は以下のHPでもご覧になれます．
http://researchmap.jp/cardinal_invariants/research-blog/


それではよろしくお願いします.


南裕明
名古屋大学情報科学研究科共同研究員