<span class="Apple-style-span" style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)">Kobe <span class="il" style="background-image:initial"><font class="Apple-style-span" color="#000000"><span class="Apple-style-span" style="background-color:rgb(255,255,255)">Colloquium</span></font></span> on Logic, Statistics and Informatics (minicourse)<div>
<br></div><div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">$B0J2<$NMWNN$G(B<span style="color:rgb(34,34,34)"><span style="font-size:small">$B%3%m%-%&%`!J%_%K%3!<%9!K(B</span></span>$B$r3+:E$7$^$9!#(B</span></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br>
</span></font></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse"><span style="font-size:13px">$BF|;~!'(B</span></span></font><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">2012$BG/(B11$B7n(B22$BF|!JLZ!K(B15:10-16:40</span></div>
<div><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">$B!!!!$H(B</span>2012$BG/(B11$B7n(B26$BF|!J7n!K(B13:20-14:50</div><div><font face="arial, sans-serif"><span style="border-collapse:collapse"><span style="font-size:13px">$B>l=j!'?@8MBg3X<+A32J3XAm9g8&5fEo(B3$B9f4[(B4$B3,(B421$B<<!J%W%l%<%s%F!<%7%g%s<<!K(B</span></span></font></div>
<div><font face="arial, sans-serif"><span style="border-collapse:collapse"><span style="font-size:13px"><div>$B9V1i<T!'(BBoban Velickovic (Universite de Paris 7, Paris, France)</div><div><br></div><div>========================================================================</div>
<div><br></div><div>$BBjL\!'(B<span class="Apple-style-span" style="font-size:14px">Iteration of semiproper forcing revisited</span></div><div><span class="Apple-style-span" style="font-size:14px"><br></span></div><div><div>$B%"%V%9%H%i%/%H!'(B<span class="Apple-style-span" style="font-size:14px">Recently Neeman introduced a new technique of</span></div>
<span class="Apple-style-span" style="font-size:14px">iterating proper forcing by using finite chains of elementary<br>submodels as side conditions. We present an extension and refinement<br>of this method which can be used to iterate a larger class of forcing<br>
notions. We also discuss some possible generalizations and open problems.</span><div><font class="Apple-style-span" size="4"><span class="Apple-style-span" style="font-size:14px"><br></span></font></div><div><div>========================================================================</div>
</div><div><br></div></div><div>$B8rDL!':e5^O;9C1X$^$?$O(BJR$BO;9CF;1X$+$i?@8M;T%P%9(B36$B7OE}!VDa9CCDCO!W(B<br>$B9T$-$K>h<V!$!V?@BgK\It9)3XItA0!WDdN1=j2<<V!$ELJb$9$0!%(B<br><a href="http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm" target="_blank" style="color:rgb(0,0,204)">http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a><br>
<br>$BO"Mm@h!'%V%l%s%I%l!!%h!<%0!!(B <a href="mailto:brendle@kurt.scitec.kobe-u.ac.jp" target="_blank" style="color:rgb(0,0,204)">brendle@kurt.scitec.kobe-u.ac.jp</a></div><div><br></div></span></span></font></div></span>