Sendai Logic Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan

2018.04.27. 田中 一之

無限ゲームと様相μ計算

  • Date/Time: April 27, 2019 (Friday) / 16:00 - 17:00

  • Speaker: 田中 一之 氏 (東北大学大学院 理学研究科)

  • Venue: Rm 1201, Science Complex A, Tohoku Univ.

  • Abstract: GaleとStewartによって導入された無限ゲームは二階算術の言葉で自然に記述できるが,二階算術のフル体系Z_2はもとより通常の公理的集合論でもうまく分析できない(例.決定性が証明できない).様相μ計算は不動点演算子をもった様相論理であるが,二階算術の部分体系ともみなせる.本講演では様相μ計算の基本事項をおさらいしたあと,それによって扱える無限ゲームの決定性の限界や,諸性質の分離などについて述べる.