[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, October 25 (Bernhard Koenig)

[Joerg Brendle]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20131023/dbac9972/attachment.html>