(本案内を重複してお受け取りの際はご容赦ください) Logic-ml の皆様，

東北大学の江口と申します． 下記の要領で東北大学ロジックセミナー(田中一之研究室)を開催いたします． 興味のある方は参加をご検討ください．

日時：12月26日(月)，16時から． 場所：東北大学北青葉山キャンパス理学総合棟1201号室 発表者：新井 敏康 (千葉大学 大学院理学研究科) タイトル：Searching witnesses of $\Sigma^{0}_{2}$-formulas in proofs アブストラクト： We can find a witness of a PA-provable $\Sigma^{0}_{2}$-formula as limits of an elementary recursive function, whose convergence is ensured by weakly descending chains of ordinals.

東北大学ロジックセミナーの詳細につきましては下記をご参照ください． https://sites.google.com/site/sendailogichomepage/