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

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/