<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 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> <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 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></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/(B7$B7n(B2$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!'(BJohn Pardo (Pennsylvania State University and JAIST)</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>Forcing and Basis Theorems in Computability Theory</span><br><br>$B%"%V%9%H%i%/%H!'(B</div><div class="gmail_quote"><span class="" style>The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well.  I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare.</span><br>
</div><div class="gmail_quote"><span><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 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>-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a></div>
</span></div></span></div>