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

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

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

日時：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/

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

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