[logic-ml] 【訂正】東北大学ロジックセミナーのご案内

すみません，先ほどのメールのセミナー開催日が間違っておりましたので， 訂正して再送させていただきます．(7月14日(木)が正しい日程です．) どうぞよろしくお願いいたします．

横山啓太

**************************************** 東北大学の横山です． 以下の通りセミナーを開催いたします． オンライン開催で，どなたでもご参加できますので， ご興味がありましたら是非お越しください．

https://sites.google.com/view/sendai-logic/ (セミナーのリンク等は yudai.suzuki.q1(at)dc.tohoku.ac.jp までご連絡ください．)

日時: 7月14日15:00〜(オンライン開催) 講演者：井野 海 (The University of Manchester) 題目：分離的微分閉体の理論の基礎的な性質 概要： 分離閉体の微分的な類似として分離的微分閉体という新しいクラスの微分体を 研究した。この理論は数理論理学の文脈において初等的であることが示され、これを SDCF と表記する。 本研究は 1970 年代の標数 p の微分閉体の理論 DCFp に関する Carol Wood の仕事を一般化する形で行われ、この理論 SDCFp,εの基礎的な性質；量化記号消去、安定性、素モデルの存在などを確立したので紹介したい。

どうぞよろしくお願いいたします．

横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 [email protected]