<span class="Apple-style-span" style="font-family:arial,sans-serif;font-size:13px;border-collapse:collapse;color:rgb(34,34,34)">Kobe <span style="background-image:initial"><font color="#000000"><span><span class="il" style="background-image:initial;background-color:rgb(255,255,204);color:rgb(34,34,34);background-repeat:initial initial">Colloquium</span></span></font></span> on Logic, Statistics and Informatics <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">2012$BG/(B12$B7n(B10$BF|!J7n!K(B</span>13:20-14:50</div>
<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"><div>
$B9V1i<T!'(BDavid Aspero (Technische Universitaet Wien, Austria)</div><div><br></div><div>========================================================================</div><div><br></div><div>$BBjL\!'(B<span class="Apple-style-span" style="font-size:14px">Some set theory with restricted choice</span></div>
<div><span class="Apple-style-span" style="font-size:14px"><br></span></div><div><div>$B%"%V%9%H%i%/%H!'(B<span class="Apple-style-span" style="font-size:14px">I am planning to present the proofs of three theorems involving set theory without the Axiom of Choice or with just restricted forms of AC. One is an observation of mine concerning very large cardinals in a ZF context, another one is a result from a paper by P. Larson and Shelah, and another one a result of Shelah from [Sh835]. </span></div>
<div><font size="4"><span style="font-size:14px"><br></span></font></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.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a><br><br>$BO"Mm@h!'%V%l%s%I%l!!%h!<%0!!(B <a href="mailto:brendle@kurt.scitec.kobe-u.ac.jp" target="_blank" style="color:rgb(0,0,204)">brendle@kurt.scitec.kobe-u.ac.jp</a></div>
</span></span></font></div></span><blockquote class="webkit-indent-blockquote" style="margin:0 0 0 40px;border:none;padding:0px"><span class="Apple-style-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"><div><br></div></span></span></font></div></span></blockquote>