Sendai Logic - 仙台ロジック Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan

2021.03.18 Yudai Suzuki

The completeness of the real numbers and reverse mathematics

 READ MORE 

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