[logic-ml] Fwd: Kobe Colloquium on Logic, Statistics and Informatics, January 7 (Paul Larson)

[Joerg Brendle]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160104/f63fa54b/attachment.html>