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

日時　平成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: [email protected]