<div dir="ltr"><span class="" style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><div class="gmail_quote"><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><div style="padding-left:0px;padding-bottom:3px;padding-right:0px;font-size:14px;padding-top:12px">
<span><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)"><span style="background-image:initial;color:rgb(34,34,34)"><span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)"><span class="" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">Kobe</span></span></span> <span style="background-image:initial"><font color="#000000"><span><span style="background-image:initial;color:rgb(34,34,34)"><span style="background-image:initial;color:rgb(34,34,34)"><span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)"><span class="" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">Colloquium</span></span></span></span></span></font></span> on Logic, Statistics and Informatics </span></span></span><br>
</div><div style="direction:ltr;margin-top:5px;margin-right:15px;margin-bottom:0px;margin-left:0px;padding-bottom:5px"><div><div dir="ltr"><span><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)"><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%-%&%`(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">2013$BG/(B6$B7n(B25$BF|!J2P!K(B</span>13:20-14:50</div>
</span></span><span style="font-size:14px"><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)"><div style="display:inline!important">
<font face="arial, sans-serif"><span style="border-collapse:collapse"><span style="font-size:13px"><div style="display:inline!important">$B9V1i<T!'(BPaul Larson (Miami University, Oxford, Ohio)</div></span></span></font></div></span></span></span><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)"><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"><br>
</span></span></font></div></span></span></span><span><div style="font-size:13px">============================================================</div></span><span><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:14px"><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)"><div>
<font face="arial, sans-serif"><span style="border-collapse:collapse"><span style="font-size:13px"><br></span></span></font></div></span></span><span style="border-collapse:collapse;font-family:arial,sans-serif"><span style="font-family:arial,sans-serif;border-collapse:collapse;color:rgb(34,34,34)"><div>
<font face="arial, sans-serif"><span style="border-collapse:collapse"></span></font></div></span></span></span></div></div></div></span>$BBjL\!'(B <span class="" style>Fragments of MM(c^+) in Pmax extensions</span><br><br>$B%"%V%9%H%i%/%H!'(B</div>
<div class="gmail_quote"><span class="" style>Hugh Woodin invented the forcing construction Pmax in the early 1990's, </span></div><div class="gmail_quote"><span class="" style>and proved that MM(c), the restriction of Martin's Maximum to partial orders </span></div>
<div class="gmail_quote"><span class="" style>of cardinality the continuum, holds in the Pmax extension of a model of AD_R </span></div><div class="gmail_quote"><span class="" style>+ ``Theta is regular". We will survey some recent work (with Caicedo, Sargsyan, </span></div>
<div class="gmail_quote"><span class="" style>Schindler, Steel and Zeman) on getting fragments of MM(c^+) to hold in Pmax </span></div><div class="gmail_quote"><span class="" style>extensions of models of stronger forms of determinacy. <br>
Of particular interest are various principles asserting the nonexistence of square </span></div><div class="gmail_quote"><span class="" style>sequences of length omega_3.</span><br></div><div class="gmail_quote"><span class="" style><br>
</span></div><div class="gmail_quote"><span style="border-collapse:collapse;font-family:arial,sans-serif;font-size:13px"><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.<span style="background-image:initial;color:rgb(34,34,34)"><span style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)"><span class="" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">kobe</span></span></span>-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a></div>
</span></div></span></div>