[logic-ml] 東北大学ロジックセミナーのご案内(9月2日)

[Naohi Eguchi]

Logic-ml の皆様，

東北大学の江口と申します．
以下の要領で東北大学ロジックセミナー(田中・山崎研究室)
を開催いたします．
ご興味のある方は是非参加をご検討ください．

日時　平成24年9月2日(金)16時から．

場所　東北大学北青葉山キャンパス理学総合棟1201号室．

講演者　新井敏康　(千葉大学大学院理学研究科)

タイトル　Proof theory of indescribable cardinals

アブストラクト
I will explain how to lift up the ordinal analyses to set theories
of indescribable cardinals.
This yields a proof-theoretic reduction of the existence of
a $\Pi^{1}_{n+1}$-indescribable cardinal to iterations of
$\Pi^{1}_{n}$-indescribabilities over ZF+V=L.

東北大学ロジックセミナーの情報は東北大学ロジックグループ
のホームページからもご覧いただけます．
https://sites.google.com/site/sendailogichomepage/

江口直日

-- 
江口 直日
東北大学 大学院理学研究科 数学専攻
産学官連携研究員
980-8578 宮城県仙台市青葉区荒巻字青葉6ー3
E-mail: eguchi at math.tohoku.ac.jp