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

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/

江口直日