|
|||||
|
|
Lipschitz and Wadge binary games in second order arithmetic |
|
| Affiliation: | 1. Dpto. Ciencias de la Computación e Inteligencia Artificial, Facultad de Matemáticas, Universidad de Sevilla, C/ Tarfia, s/n, 41012 Sevilla, Spain;2. Faculty of Engineering, Lusofona University, Campo Grande 376, 1749-024 Lisbon, Portugal |
| Abstract: | |
| Keywords: | Reverse mathematics Determinacy Wadge games Semilinear ordering principle |
| 本文献已被 ScienceDirect 等数据库收录！ | |