Journal article 793 views 96 downloads
Game characterizations and lower cones in the Weihrauch degrees
Logical Methods in Computer Science, Volume: 15, Issue: 3, Pages: 1 - 29
Swansea University Author:
Arno Pauly
-
PDF | Version of Record
Released under the terms of a Creative Commons Attribution License (CC-BY).
Download (533.48KB)
DOI (Published version): 10.23638/LMCS-15(3:11)2019
Abstract
We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games as well as Semmes's tree games. In particula...
| Published in: | Logical Methods in Computer Science |
|---|---|
| ISSN: | 1860-5974 |
| Published: |
2019
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa51342 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract: |
We introduce a parametrized version of the Wadge game for functions and show that each lower cone in the Weihrauch degrees is characterized by such a game. These parametrized Wadge games subsume the original Wadge game, the eraser and backtrack games as well as Semmes's tree games. In particular, we propose that the lower cones in the Weihrauch degrees are the answer to Andretta's question on which classes of functions admit game characterizations. We then discuss some applications of such parametrized Wadge games. Using machinery from Weihrauch reducibility theory, we introduce games characterizing every (transfinite) level of the Baire hierarchy via an iteration of a pruning derivative on countably branching trees. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Issue: |
3 |
| Start Page: |
1 |
| End Page: |
29 |