Seminar

Language English
From 2011/11/01 15:00
To 2011/11/01 16:00
PlaceRoom 402, RIMS, Kyoto University
Seminar NameGCOE tea time
Title Dilators: a gentle introduction　
Field Analysis
Other
SpeakersMichele Basaldella
AffiliationRIMS
AbstractWe 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.
Note他分野の話を聞いたり、若手研究者と交流する良い機会ですので ぜひ参加してください。飲み物、おやつも用意する予定ですので、お気軽にお越しください。