Sendai Logic Seminar

場所 : 理学研究科合同A棟 (H-02) 12階 1201室 [ 地図]

直近のセミナー

日時 2018.4.27 (金) / 16:00 - 17:00
発表者 田中一之教授 (東北大学大学院 理学研究科)
題目 無限ゲームと様相μ計算
概要 GaleとStewartによって導入された無限ゲームは二階算術の言葉で自然に記述できるが,二階算術のフル体系Z_2はもとより通常の公理的集合論でもうまく分析できない(例.決定性が証明できない).様相μ計算は不動点演算子をもった様相論理であるが,二階算術の部分体系ともみなせる.本講演では様相μ計算の基本事項をおさらいしたあと,それによって扱える無限ゲームの決定性の限界や,諸性質の分離などについて述べる.

2017年のセミナー

過去のセミナー