Game Characterizations and Lower Cones in the Weihrauch Degrees
Game Characterizations and Lower Cones in the Weihrauch Degrees
复制标题
游戏特征和 Weihrauch 度数中的下锥体
DOI：
10.23638/lmcs-15(3:11)2019
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
A. Pauly
中科院分区：
文献类型：
--
作者：
H. Nobrega;A. Pauly
我们介绍了一个参数化版本的Wadge游戏的功能，并表明，每个较低的锥Weihrauch度的特点是这样一个游戏。这些参数化的Wadge游戏继承了原始的Wadge游戏，橡皮擦和回溯游戏以及Semmes的树游戏。特别是，我们提出，在Weihrauch度较低的锥是答案安德烈塔的问题上，哪些类的功能承认游戏刻画。
然后，我们讨论了一些应用程序的参数化Wadge游戏。使用机器从Weihrauch约简理论，我们介绍了游戏特征的每一个（超限）水平的Baire层次通过迭代的修剪衍生物上可数分支树。
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.
通过 Lawvere-Tierney 拓扑的可计算性理论和逆向数学
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
Takehiro Hasegawa;Takashi Komatsu;Norio Konno;Hayato Saigo;Seiken Saito;Iwao Sato;Shingo Sugiyama;Takayuki Kihara
通讯作者：
Takayuki Kihara