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