講演者：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.
========================================================================