[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, Nov. 22 and 26, 2012 (minicourse)

[Joerg Brendle]

Kobe Colloquium on Logic, Statistics and Informatics (minicourse)

以下の要領でコロキウム（ミニコース）を開催します。

日時：2012年11月22日（木）15:10-16:40
と2012年11月26日（月）13:20-14:50
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）
講演者：Boban Velickovic (Universite de Paris 7, Paris, France)

========================================================================

題目：Iteration of semiproper forcing revisited

アブストラクト：Recently Neeman introduced a new technique of
iterating proper forcing by using finite chains of elementary
submodels as side conditions. We present an extension and refinement
of this method which can be used to iterate a larger class of forcing
notions. We also discuss some possible generalizations and open problems.

========================================================================

交通：阪急六甲駅または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.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20121120/82709516/attachment.html>