[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, August 19 (Sheila Miller)

[Joerg Brendle]

Kobe Colloquium on Logic, Statistics and Informatics

以下の要領でコロキウムを開催します。

日時：2013年8月19日（月）15:00-16:30
講演者：Sheila Miller (CUNY ニュー・ヨーク)
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）

============================================================

題目： How not to construct the free two-generated left distributive algebra

アブストラクト：
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.

============================================================

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20130813/4d5da064/attachment.html>