Kobe Colloquium on Logic, Statistics and Informatics

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

日時：2016年1月7日（木）14:00~15:30 講演者：Paul Larson （マイアミ大学） 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）

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

題目：Canonical models for fragments of the Axiom of Choice.

アブストラクト：We present technology for investigation of natural forcing extensions of the model L(R) which satisfy such statements as “there is a nonprincipal ultrafilter on the integers” or “there is a total selector for the Vitali equivalence relation”. The technology reduces many questions about ZF implications between consequences of the axiom of choice to natural ZFC forcing problems.

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

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」 行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm