thesis presentations
Seminar information archive ~05/01|Next seminar|Future seminars 05/02~
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
(ペアノ算術の順序数解析に対応する、撤回を許したゲーム)
KEN Eitetsu (Graduate School of Mathematical Sciences University of Tokyo)
Games with backtracking options corresponding to the ordinal analysis of PA
(ペアノ算術の順序数解析に対応する、撤回を許したゲーム)