無限ゲームと様相μ計算

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

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

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

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