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
Determinacy of Wadge games in Second Order Arithmetic / Game tree, ideas related to decent and generalized cost