<div dir="ltr"><div class="gmail_quote"><span class="" 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 class="" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">Kobe</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 class="" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">Colloquium</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年5月28日（火）</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">講演者：Daisuke Ikegami (University of California, Berkeley)</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 class="" style><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>題目： Inner models from logics<br>
<br>アブストラクト：</div><div class="gmail_quote">The goal of this research is to construct a model of set theory which<br>
is "close to" HOD but easier to analyze. The motivation comes from<br>
Woodin's HOD Conjecture, which states that HOD is very "close to" V<br>
under the presence of a very strong large cardinal (extendible<br>
cardinal). HOD Conjecture is closely related to the problem of<br>
constructing a canonical extender model with a supercompact cardinal<br>
and it has striking applications to the theory of large cardinals<br>
without the Axiom of Choice.<br>
<br>
To solve HOD Conjecture, one would expect a fine analysis of HOD. The<br>
difficulty of the analysis of HOD lies in the fact that HOD is very<br>
"non-absolute", e.g., one could force V = HOD with a proper class<br>
partial order.<br>
<br>
Given that HOD is obtained using full second order logic in the same<br>
way as Gödel's constructible universe L via first order logic, in this<br>
talk, we use Boolean valued higher order logics to construct inner<br>
models of set theory which are more "absolute" than HOD and<br>
investigate the properties of the models.<br>
<br></div><div class="gmail_quote"><span class="" 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 class="" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34)">kobe</span></span>-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a><br>
<br>連絡先：ブレンドレ　ヨーグ　 <a href="mailto:brendle@kurt.scitec.kobe-u.ac.jp" target="_blank" style="color:rgb(0,0,204)">brendle@kurt.scitec.<span style="background-image:initial;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>-u.ac.jp</a></div>
</span></div></div>