[kisoron-ml] 講演のお知らせ（名古屋数学基礎論/集合論 セミナー）

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

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

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


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

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

講演者：横山啓太（東京工業大学　大学院情報理工学研究科）

タイトル：組み合わせ論と逆数学の広がり

アブストラクト：
1970年代にH. Friedmanによって提唱されS.
Simpsonらによって推し進められてきた逆数学研究では，解析・代数・幾何学の基礎を始めとした多くの定理の強さが調べられてきた．逆数学による定理の分類を行うと，多くの場合で数学の定理の強さが"big
five"と呼ばれる2階算術の部分体系のいずれかと同値になることが知られている．しかし，特に2000年以降の研究では組み合わせ命題等を中心に，"big
five"に分類されない数多くの「例外」が知られるようになり，最近ではむしろ"big
five"を広げた2階算術の「地図」が逆数学の手法により幅広く調べられている．この講演では，こうした組み合わせ命題に関連する逆数学の話題をいくつか紹介する．

アクセス：
地下鉄名城線名古屋大学駅から徒歩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/



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