セミナー

発表言語 英語
開催日 2011年11月01日 15時00分
終了日 2011年11月01日 16時00分
開催場所京都大学数理解析研究所402号室
セミナー名第48回 GCOE tea time
タイトル Dilators: a gentle introduction 
分野 解析
その他
講演者名Michele Basaldella
講演者所属RIMS
概要We aim to recall some basic aspects of the concept of dilator, a
notion which has been introduced in proof-theory (a branch of
mathematical logic) by J.-Y. Girard about 30 years ago.
Essentially, a dilator is a certain kind of endofunctor of the category
of the ordinal numbers, which can be thought as an abstract counterpart
of the more concrete system of ordinal notation which are abundant in
proof-theory.
In this introductory talk, we recall the notion of denotation system (a
kind of generalization of the Cantor normal form representation of the
ordinal numbers), the notion of dilator, and show a correspondence
between them.
備考他分野の話を聞いたり、若手研究者と交流する良い機会ですので ぜひ参加してください。飲み物、おやつも用意する予定ですので、お気軽にお越しください。