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

2020.11.20 Kenichi Abiko and Shohei Tanaka

Determinacy of Wadge games in Second Order Arithmetic / Game tree, ideas related to decent and generalized cost

 READ MORE 

2020.11.06 Naruaki Kato and Tadayuki Honda

Weak König’s Lemma and Invariance of Domain in Second Order Arithmetic / Heine Borel compactness and Lindelof property in higher order arithmetic

 READ MORE 

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