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

[Naohi Eguchi]

(本案内を重複してお受け取りの際はご容赦ください)
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/

-- 
江口 直日
東北大学 大学院理学研究科 数学専攻
産学官連携研究員
980-8578 宮城県仙台市青葉区荒巻字青葉6ー3
E-mail: eguchi at math.tohoku.ac.jp