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

2018.06.22. 高嶋 大翼

限定算術上の強制法の基礎

 READ MORE 

2018.06.08. 中林 美郷

Rabinの定理と無限木オートマトン

 READ MORE 

2018.05.25. 横山 啓太

一階算術・二階算術とラムゼイの定理

 READ MORE 

2018.05.18. 古川 大樹

RCA_0におけるハーリントンの定理とπ^1_ 1式の証明の長さの比較

 READ MORE 

2018.04.27. 田中 一之

無限ゲームと様相μ計算

 READ MORE