<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 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> <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 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></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">以下の要領で<span style="color:rgb(34,34,34)"><span style="font-size:small">コロキウム</span></span>を開催します。</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">日時：</span></span></font><span style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse">2013年8月13日（火）</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">講演者：Luz García (バルセロナ大学と神戸大学)</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">場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）</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>題目： <span class="" style>Forcing Arguments in Infinite Ramsey Theory</span><br><br>アブストラクト：</div>
<div class="gmail_quote"><span class="" style>Neil Hindman proved a Ramsey-like result that was conjectured by Graham and Rotschild. Hindman's Theorem asserts that if the set of all natural numbers is divided into two classes, one of the classes contains an infinite set such that all finite sums of distinct members of the set remain in the same class. Hindman's original proof was greatly simplified by James Baumgartner.<br>
<br>We will present a proof of this theorem which relies on forcing arguments. The analysis of the partial order arising in the proof of Hindman's Theorem, which we denote by P_{FIN}, is our main interest.<br><br>The partial order P_{FIN} is similar both to the one due to Matet and to Mathias forcing. This prompts the question whether it is equivalent to one of them or not.</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>交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」<br>行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．<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 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>-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a></div>
</span></div></span></div>