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

[Naohi Eguchi]

Logic-ml の皆様，

本日ご案内しました東北大学ロジックセミナーの
日付に誤りがありました．

誤り　平成24年*9*月2日(金)16時から．
訂正　平成24年*11*月2日(金)16時から．

訂正してお詫び申し上げます．

江口直日

東北大学ロジックセミナーのご案内-------------------

日時　平成24年11月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




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20121023/8fd1aad2/attachment.html>