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

2020.10.23 Hiroyuki Ikari

Higher Order Computability

 READ MORE 

2020.10.16 Yudai Suzuki

Hindman’s theorem and Gowers’ theorem in second order arithmetic

 READ MORE 

2020.10.09 Leonardo Pacheco

A Look Into the Structure of the Wadge Degrees

 READ MORE 

2019.09.30 T. Usuba

Standard and choiceless set-theoretic geology

 READ MORE 

Summer Program 2019

 READ MORE