皆様，
東北大学の横山です．
直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします．
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.
どうぞよろしくお願いいたします．
横山啓太
--
Keita Yokoyama
Mathematical Institute, Tohoku University
Aoba, Sendai, JAPAN, 980-8578
keita.yokoyama.c2(a)tohoku.ac.jp
