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