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

2021.02.19 Leonardo Pacheco

Lipschitz games and Second Order Arithmetic

 READ MORE 

2020.11.27 Hiroyuki Kurimata

二階算術におけるBlackwellゲームの考察

 READ MORE 

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