[logic-ml] Kobe Colloquium on Logic, Statistics and Informatics, Dec. 10 (David Aspero)

[Joerg Brendle]

Kobe Colloquium on Logic, Statistics and Informatics

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

日時：2012年12月10日（月）13:20-14:50
場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）
講演者：David Aspero (Technische Universitaet Wien, Austria)

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

題目：Some set theory with restricted choice

アブストラクト：I am planning to present the proofs of three theorems involving set
theory without the Axiom of Choice or with just restricted forms of AC. One
is an observation of mine concerning very large cardinals in a ZF context,
another one is a result from a paper by P. Larson and Shelah, and another
one a result of Shelah from [Sh835].

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

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

連絡先：ブレンドレ ヨーグ  brendle at kurt.scitec.kobe-u.ac.jp
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20121207/89f6178b/attachment.html>