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

[Joerg Brendle]

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 at kurt.scitec.kobe-u.ac.jp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.sato.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20101028/389bfdd0/attachment.htm>