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

皆様，

東北大学の横山です． 直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします．

https://sites.google.com/view/sendai-logic/

日時：4月21日(金)16:00〜 場所：東北大学理学研究科合同A棟801号室 (zoom配信あり) 講演者：藤原誠(東京理科大学) Title: On the embedding of Kripke models into Beth models Abstract: Kripke showed in [1] that first-order Kripke models can be embedded into first-order Beth models with constant domains by a sophisticated transformation. Following [2, Chapter 13], we revisit the embedding from modern perspectives. [1] S. A. Kripke, Semantical Analysis of Intuitionistic Logic I, Studies in Logic and the Foundations of Mathematics, Vol.40, pp. 92-130, 1965. [2] A. S. Troelstra and D. van Dalen, Constructivism in Mathematics, Vol 2, Elsevier, 1988.

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

横山啓太