thesis presentations

Seminar information archive ~05/01Next seminarFuture 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
(ペアノ算術の順序数解析に対応する、撤回を許したゲーム)