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
連絡先：菊池誠 [email protected]
皆様，
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
連絡先：菊池誠 [email protected]
Logic-ml mailing list [email protected] http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml
-
Makoto Kikuchi