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

2018.07.06. 小俣 安彦

弱Paris-Harrington原理とDicksonの補題

 READ MORE 

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