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

[Makoto Kikuchi]

皆様，

17日に予定していました以下のコロキウムは残念ながら
取りやめることに決定いたしました．

神戸大学　菊池誠

> Kobe Colloquium on Logic, Statistics and Informatics
> 
> 以下の要領でコロクウィウムを開催します。
> 
> 日時：2011年3月17日（木）10: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
> 
> _______________________________________________
> Logic-ml mailing list
> Logic-ml at sato.kuis.kyoto-u.ac.jp
> http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.sato.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20110315/f28a49e3/attachment.htm>