<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><span style="border-collapse:collapse;font-size:14px"><span><div><span><font color="#000000"><div style="padding-top:12px;padding-right:0px;padding-bottom:3px;padding-left:0px"><span><span>Kobe</span></span> <span><span>Colloquium</span></span> on Logic, Statistics and Informatics <br></div><div style="direction:ltr;margin-top:5px;margin-right:15px;margin-bottom:0px;margin-left:0px;padding-bottom:5px"><div dir="ltr"><span style="border-collapse:collapse"><span style="border-collapse:collapse"><div><br></div><div><span style="border-collapse:collapse">以下の要領でコロキウムを開催します。</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></font><span style="border-collapse:collapse">2016年1月7日（木）14:00~15:30</span></div></span></span><span style="border-collapse:collapse"><span style="border-collapse:collapse"><div style="display:inline!important"><font face="arial, sans-serif"><span style="border-collapse:collapse"><div style="display:inline!important">講演者：Paul Larson （マイアミ大学）</div></span></font></div></span></span><span style="border-collapse:collapse"><span style="border-collapse:collapse"><div><font face="arial, sans-serif"><span style="border-collapse:collapse">場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）</span></font></div><div><font face="arial, sans-serif"><span style="border-collapse:collapse"><br></span></font></div></span></span></div></div></font></span></div><span><font color="#000000"><div><span><font color="#000000"><div>============================================================</div><span style="border-collapse:collapse"></span></font></span></div><div><span><font color="#000000"><br></font></span></div>題目：</font></span></span>Canonical models for fragments of the Axiom of Choice.<br><br><span style="color:rgb(0,0,0)">アブストラクト：</span>We present technology for investigation of natural forcing extensions of the model L(R) which satisfy such statements as “there is a nonprincipal ultrafilter on the integers” or “there is a total selector for the Vitali equivalence relation”. The technology reduces many questions about ZF implications between consequences of the axiom of choice to natural ZFC forcing problems.</span><br><div><span style="border-collapse:collapse;font-size:14px"><br></span></div><div><span style="border-collapse:collapse;font-size:14px"><span><div><div><font color="#000000">========================================================</font></div><div><font color="#000000"><br></font></div></div><div><font color="#000000">交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」<br>行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．<br></font><a href="http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm" style="color:rgb(17,85,204)" target="_blank"><font color="#000000">http://www.</font><font color="#000000"><span><span>kobe</span></span></font><font color="#000000">-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</font></a></div></span></span></div></div>
</div><br></div>