thesis presentations

Seminar information archive ～05/23｜Next seminar｜Future seminars 05/24～


2025/01/23

11:00-12:15   Room #128 (Graduate School of Math. Sci. Bldg.)
KEN Eitetsu (Graduate School of Mathematical Sciences University of Tokyo)
Games with backtracking options corresponding to the ordinal analysis of PA
(ペアノ算術の順序数解析に対応する、撤回を許したゲーム）