[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/

江口直日
-- 
Naohi Eguchi
Mathematical Institute, Tohoku University
6-3, Aramaki Aza-Aoba, Aoba-ku, Sendai 980-8578, Japan
E-mail: eguchi at math.tohoku.ac.jp