Kobe Colloquium in Logic
以下の要領でコロクウィウムを開催します．
日時：2010年11月1日（月）17:00 〜
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）
講演者：Christoph Weiss（ミュンヘン大学）
題目：The principles ITP and ISP and their related theorems
アブストラクト：
We define combinatorial principles ITP and ISP that do for supercompactness
what the tree property does for weak compactness. We will then present the proof
that these principles follow from the Proper Forcing Axiom and give some
applications of them.