[logic-ml] Kobe Colloquium (talk by Toshiyasu Arai)

[Makoto Kikuchi]

Kobe Colloquium on Logic, Statistics and Informatics

以下の要領でコロキウムを開催します。

日時：2011年3月30日（水）15:30 ～
場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）
講演者：新井敏康（千葉大学）
題目：Lifting up the proof theory to the countables

アブストラクト：

We describe the countable ordinals in terms of iterations of Mostowski
collapsings. This gives a proof-theoretic bound of definable countable 
ordinals in set theories.

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

連絡先：菊池誠　mkikuchi at kobe-u.ac.jp