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
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