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

2019.07.26. Diego A. Mejía

Cichon’s maximum without large cardinals

 READ MORE 

2018.07.27. Paul-Elliot Anglès D'Auriac

On Infinite Time Turing Machine and and its related ordinals.

 READ MORE 

2018.07.06. 小俣 安彦

弱Paris-Harrington原理とDicksonの補題

 READ MORE 

2018.06.22. 高嶋 大翼

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

 READ MORE 

2018.06.08. 中林 美郷

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

 READ MORE