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/
江口直日
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/
-
Naohi Eguchi