[logic-ml] Kobe Colloquium in Logic (Christoph Weiss)

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.

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

連絡先：ブレンドレ ヨーグ brendle@kurt.scitec.kobe-u.ac.jp