[logic-ml] Talk by Michele Basaldella, Tue 1 Nov at RIMS, Kyoto U

[Kenshi Miyabe]

数理解析研究所　特定研究員の宮部です。

重複して受け取られた場合はご容赦ください．

RIMSでは、2週間に1度、GCOE tea timeを行っています。
http://www.kurims.kyoto-u.ac.jp/~kenkyubu/gcoe/2008teatime.html

来週、2011年11月1日(火)、第48回 GCOE tea timeでは、
Micheleが話をします。
時間のご都合がよろしければ是非ご参加ください．


講演者：
Michele BASALDELLA (数理解析研究所　研究員)

タイトル:
Dilators: a gentle introduction

講演の概要:
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.

なお、この講演は英語で行われます。

時間(Time)：15:00-16:00

場所(Place)：数理解析研究所402号室(RIMS, Room 402)


-- 
Kenshi Miyabe
email: kmiyabe at kurims.kyoto-u.ac.jp
Researcher
Research Institute for Mathematical Sciences, Kyoto University
Kyoto 606-8502 Japan
Tel: +81-75-753-7202 / Fax: +81-75-753-7272