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

[YOKOYAMA Keita]

皆様，

東北大学の横山です．
直前のご案内で恐縮ですが，以下の通りセミナーを開催いたします．
(通常と異なり火曜日となっております．)

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

日時：5月9日(火)15:00〜
場所：東北大学理学研究科合同A棟801号室 (zoom配信あり)
講演者：Antonio Montalban (University of California, Berkeley)
Title: The game metatheorem.
Abstract: We present a new metatheorem based on Ash and Kight’s
original eta-system priority argument. The previous modification of
Ash and Knight’s metatheorem by the author was more hands-on and
slightly more general than the original. This new version is more
abstract, less hands-on, less general, but much easier to apply. We
will also mention a new topological version that is currently work in
progress with Andrew Marks.


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

横山啓太
--
Keita Yokoyama
Mathematical Institute, Tohoku University
Aoba, Sendai, JAPAN, 980-8578
keita.yokoyama.c2 at tohoku.ac.jp