<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 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 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">$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/(B8$B7n(B19$BF|!J7n!K(B</span>15:00-16:30</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!'(BSheila Miller (CUNY $B%K%e!<!&%h!<%/(B)</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>How not to construct the free two-generated left distributive algebra</span><br>
<br>$B%"%V%9%H%i%/%H!'(B</div><div class="gmail_quote"><span class="" style>We begin with an extended introduction to free left distributive algebras (LDs) including a normal form theorem for the one-generated free LD, which itself arises naturally from the assumption of a very large cardinal axiom.  After discussing some applications and open problems, we make remarks on the impossibility of using forcing to construct a two-generated free LD by lifting the rank-to-rank elementary embedding used to create the one-generated free LD.</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 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)">kobe</span></span></span></span></span>-u.ac.jp/info/access/rokko/rokkodai-dai2.htm</a></div>
</span></div></span></div>