[logic-ml] Sendai Logic Seminar (Sep. 26)

[Naohi Eguchi]

Logic-ml の皆様，

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

日時：9月26日(月)，16時から．
場所：東北大学北青葉山キャンパス理学総合棟1201号室
発表者：Florian Pelupessy (Ghent University, Belgium)
タイトル：Phase transitions for unprovability
アブストラクト：
The talk will be an introduction to phase transitions for unprovability:
theorems with a parameter function change from provable to unprovable
with a change in that parameter.

Additionally we will present a transition for a Ramsey-like statement
and for a theorem by Maclagan on monomial ideals.

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

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