Hugo Nobrega ; Arno Pauly - Game characterizations and lower cones in the Weihrauch degrees

lmcs:4284 - Logical Methods in Computer Science, August 6, 2019, Volume 15, Issue 3 - https://doi.org/10.23638/LMCS-15(3:11)2019
Game characterizations and lower cones in the Weihrauch degreesArticle

Authors: Hugo Nobrega ; Arno Pauly

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.


Volume: Volume 15, Issue 3
Secondary volumes: Selected Papers of the Conference "Continuity, Computability, Constructivity: From Logic to Algorithms" (CCC 2017)
Published on: August 6, 2019
Accepted on: June 19, 2019
Submitted on: February 15, 2018
Keywords: Mathematics - Logic, Computer Science - Logic in Computer Science, 03E15, 54H05, 03D60, 03F15
Funding:
    Source : OpenAIRE Graph
  • inVEST: Foundations for a Shift from Verification to Synthesis; Funder: European Commission; Code: 279499

1 Document citing this article

Consultation statistics

This page has been seen 3551 times.
This article's PDF has been downloaded 520 times.