Kobe Colloquium on Logic, Statistics and Informatics 

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

日時:2013年10月25日(金)15:10-16:10
講演者:Bernhard Koenig
場所:神戸大学自然科学総合研究棟3号館4階421室(プレゼンテーション室)

============================================================

題目: 
Variations of Laver's indestructibility result and some applications

アブストラクト:
We show that a supercompact cardinal kappa can be made indestructible under a
class of forcings which is slightly larger than Laver's class of
kappa-directed closed forcings. We go on to discuss how this slight
strengthening over Laver's original result can be used for some
interesting new consistency results.

============================================================

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