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

2019.09.30 T. Usuba

Standard and choiceless set-theoretic geology

 READ MORE 

Summer Program 2019

 READ MORE 

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