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

2018.05.18. 古川 大樹

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

 READ MORE 

2018.04.27. 田中 一之

無限ゲームと様相μ計算

 READ MORE