×
雨果·诺布雷加；阿诺·保利

Weihrauch度中的博弈特征和下锥。 （英语） 兹比尔1484.03098

日志。方法计算。科学。 15，第3号，第11号论文，第29页（2019）。
总结：我们介绍了Wadge游戏的参数化版本的功能，并表明Weihrauch度中的每个下锥体都具有这样的游戏特征。这些参数化的Wadge游戏包括原始Wadge、橡皮擦和回溯游戏以及Semmes的树游戏。特别地，我们提出Weihrauch度中的下锥是Andretta关于哪些函数类允许博弈特征化的问题的答案。然后我们讨论了这种参数化Wadge游戏的一些应用。利用Weihrauch可约理论中的机制，通过可数分枝树上剪枝导数的迭代，我们引入了刻画Baire层次结构每个（超限）层的对策。

引用于5文件

MSC公司：

03E15年 描述性集合论
03日30分 可计算性和递归理论中的其他度和可约性
03D78号 实数计算，可计算分析
03英尺60英寸 构造性和递归分析
PDF格式BibTeX公司 XML格式引用
\textit{H.Nobrega}和\textit{A.Pauly}，Log。方法计算。科学。15，第3号，第11号论文，29页（2019年；Zbl 1484.03098）
全文： arXiv公司

参考文献：

[1] [Acz88]彼得·阿策尔。非井基集。CSLI课堂讲稿。CSLI，1988年·Zbl 0668.04001号
[2] [And07]亚历山德罗·安德雷塔。SLO原则和Wadge层次结构。Stefan Bold、Benedikt L¨lowe、Thoralf R¨asch和Johan van Benthem，编辑，《形式科学基础V：无限》·Zbl 1151.03023号
[3] [BG11a]瓦斯科·布拉特卡和吉多·格拉迪。可计算分析中的有效选择和有界性原则。符号逻辑公报，1:73-1172011·Zbl 1226.03062号
[4] [BG11b]瓦斯科·布拉特卡和吉多·格拉迪。Weihrauch学位、全能原理和弱可计算性。《符号逻辑杂志》，76:143-1762011年·Zbl 1222.03071号
[5] [BGH15]瓦斯科·布拉特卡（Vasco Brattka）、吉多·格拉迪（Guido Gherardi）和鲁珀特·霍尔兹尔（Rupert H–olzl）。概率可计算性和选择。信息与计算，242:249-2862015·Zbl 1320.03071号
[6] [BGM12]Vasco Brattka、Guido Gherardi和Alberto Marcone。Bolzano-Weierstrass定理是弱Köonig引理的跳跃。《纯粹逻辑与应用逻辑年鉴》，163（6）：623-6552012·Zbl 1245.03097号
[7] [BGP17]瓦斯科·布拉特卡、吉多·格拉迪和阿诺·保利。可计算分析中的Weihrauch复杂性。预印本，arXiv:1707.032022017·Zbl 1485.03241号
[8] [BP18]瓦斯科·布拉特卡和阿诺·保利。关于Weihrauch度的代数结构。计算机科学中的逻辑方法，14（4），2018·Zbl 1454.03053号
[9] [Car13]拉斐·卡罗伊。连续函数的拟阶。符号逻辑杂志，78（2）：633-6482013·Zbl 1278.03080号
[10] [Car14]拉斐·卡罗伊。在拜尔第一班比赛。《数理逻辑季刊》，60（1-2）：118-1322014·Zbl 1326.03058号
[11] [CR92]道格拉斯·森泽（Douglas Cenzer）和杰弗里·雷梅尔（Jeffrey Remmel）。反复呈现的游戏和策略。数学社会科学，24（2-3）：117-1391992·Zbl 0786.90103号
[12] [dB13]马修·德·布莱希特。准抛光空间。《纯粹逻辑与应用逻辑年鉴》，164（3）：356-3812013·Zbl 1270.03086号
[13] [dB14]马修·德·布莱希特。不连续性、极限计算性和跳跃运算符的级别。《逻辑、计算、层次结构》，Ontos数学逻辑第4卷，第79-107页。De Gruyter，2014年·Zbl 1344.03037号
[14] 雅克·杜帕克。Wadge层次和Veblen层次第一部分：有限秩的Borel集。符号逻辑杂志，66（1）：56-862001·Zbl 0979.03039号
[15] [FH83]马可·福蒂（Marco Forti）和福里奥·洪塞尔（Furio Honsell）。用自由的构建原则来设定理论。Annali della Scuola Normale Superiore di Pisa Classe di Scienze，10（3）：493-5221983年·Zbl 0541.03032号
[16] [GKP17]瓦西里奥斯·格雷戈里亚德斯（Vassilios Gregoriades）、塔姆（Tam´as Kisp´eter）和阿诺·保利（Arno Pauly）。比较可计算分析和有效描述性集合理论中的概念。计算机科学中的数学结构，27（8）：1414-14362017·Zbl 1456.03076号
[17] [GM09]吉多·格拉迪和阿尔贝托·马可尼。可分Hahn-Banach定理有多不可数？《圣母院形式逻辑杂志》，50（4）：393-4252009·兹比尔1223.03052
[18] [Her96]P.Hertling。在有效分析中未对冯·芬克提翁进行分级。博士论文，Fernuniversit–在Hagen发表，1996年。
[19] [Hoy17]马修·霍洛普。描述集理论在一些表示空间上的结果。预印本，arXiv 1712.036802017年。
[20] [HP13]小野幸郎和阿诺·保利。韦拉赫可约度结构。计算机科学中的逻辑方法，9（2）：1-172013·Zbl 1271.03057号
[21] [Ike10]Ikegami大辅。集合论和逻辑中的游戏。阿姆斯特丹大学博士论文，2010年。
[22] [Kec95]亚历山大·凯克里斯（Alexander S.Kechris）。经典描述性集合理论，数学研究生教材第156卷。斯普林格，1995年·Zbl 0819.04002号
[23] [KP14]木原隆彦（Takayuki Kihara）和阿诺·保利（Arno Pauly）。所表示空间的点度谱。预印本，arXiv:1405.68662014年·Zbl 07537759号
[24] [LRP15]圣伊凡·勒鲁和阿诺·保利。在连续博弈中找到均衡的Weihrauch度。进化中的可计算性：第11届欧洲可计算性会议论文集·Zbl 1461.03034号
[25] [MD97]劳伦斯·莫斯（Lawrence S.Moss）和诺曼·丹纳（Norman Danner）。在同蚀的基础上。IGPL逻辑杂志，5（2）：231-2571997·兹比尔0872.03030
[26] [Mos09]Yiannis N.Moschovakis。描述性集合理论，《数学调查与单子》第155卷
[27] [Mot09]卢卡·莫托·罗斯。实数集的Borel可容许约化性。符号逻辑杂志，74（1）：27-492009·Zbl 1177.03048号
[28] [Mot11]卢卡·莫托·罗斯。分段可定义函数类的博弈表示。《数理逻辑季刊》，57（1）：95-1122011·兹比尔1215.03060
[29] [MR14]卢卡·莫托·罗斯。Baire空间上的Wadge-like可约性较差。数学基础，224（1）：67-952014·Zbl 1321.03059号
[30] [MRSS15]卢卡·莫托·罗斯（Luca Motto Ros）、菲利普·施利希特（Philipp Schlicht）和维克托·塞利瓦诺夫（Victor Selivanov）。任意拟光滑空间上的Wadge-like可约性。计算机科学中的数学结构，25（8）：1705-17542015·Zbl 1362.03042号
[31] [NP17]雨果·诺布雷加和阿诺·保利。Weihrauch度中的博弈特征和下锥。编辑Jarkko Kari、Florin Manea和Ion Petre，《揭示动力学和复杂性：第13期》·Zbl 1496.03175号
[32] [NP18]艾克·诺伊曼和阿诺·保利。代数计算模型的拓扑视图。《复杂性杂志》，2018年第44期·Zbl 1522.03180号
[33] [Odi99]P.G.Odifreddi。《逻辑与数学基础研究》第二卷第143卷《经典递归理论》。Elsevier，1999年·Zbl 0931.03057号
[34] [Pau12]阿诺·保利。可计算元数学及其在博弈论中的应用。剑桥大学博士论文，2012年。
[35] [Pau14]阿诺·保利。表示空间的描述性理论。预印本，arXiv:1408.53292014。
[36] [Pau16]阿诺·保利。关于表示空间理论的拓扑方面。可计算性，5（2）：159-1802016·Zbl 1401.03087号
[37] [Pau1X]阿诺·保利。可数序数空间上的可计算性。符号逻辑杂志，201X·Zbl 1465.03080号
[38] [PdB13]阿诺·保利和马修·德·布莱希特。走向综合描述性集合理论：用表示空间进行实例化。预印本，arXiv:1307.1850，2013年·兹比尔1395.03021
[39] [PdB15]阿诺·保利和马修·德·布莱希特。表示空间范畴中的描述性集合理论。在Catuscia Palamidessi，编辑，第30届ACM/IEEE计算机科学逻辑年会上·Zbl 1395.03021号
[40] [Peq15]亚恩·佩基尼奥特（Yann Pequignot）。第二个可数空间的Wadge层次结构。《数理逻辑档案》，第1-25页，2015年·Zbl 1373.03084号
[41] [PZ13]阿诺·保利和马丁·齐格勒。关系的相对可计算性和一致连续性。《逻辑与分析杂志》，2013年5月·Zbl 1345.03086号
[42] [Sch02]马蒂亚斯·施罗德。扩展可接受性。理论计算机科学，284（2）：519-5382002·Zbl 1042.68050号
[43] [Sem07]布莱恩·塞姆斯。多磁带游戏。约翰·范·本特姆（Johan van Benthem）、多夫·加巴伊（Dov Gabbay）和贝内迪克特·L¨lowe（Benedikt L¨owe），《交互式逻辑：第七届奥古斯都·德摩根研讨会论文集》（Interactive Logic:Selected Papers from the 7th Augustus de·Zbl 1203.03068号
[44] [Sem09]布莱恩·塞姆斯。Borel函数的游戏。阿姆斯特丹大学博士论文，2009年。
[45] [SS14]马蒂亚斯·施罗德（Matthias Schr¨oder）和维克托·塞利瓦诺夫（Victor Selivanov）。qcb0-空间的超投影层次。Arnold Beckmann、Ers’ebet Csuhaj-Varj´u和Klaus Meer，《语言、生活、极限：诉讼》编辑·Zbl 1393.03051号
[46] [SS15]Matthias Schr¨oder和Victor Selivanov。QCB0空间的一些层次结构。计算机科学中的数学结构，25（8）：1799-18232015·Zbl 1362.03044号
[47] [Van78]罗伯特·范·韦塞普。涉水程度和描述性集合理论。Alexander S.Kechris和Yiannis N.Moschovakis，编辑，《阴谋研讨会》76-77，数学讲义第689页，第151-170页。施普林格，1978年·Zbl 0393.03037号
[48] [Wad83]威廉·威尔弗里德·沃奇。Baire空间上的可还原性和确定性。加州大学伯克利分校博士论文，1983年。
[49] [Wei92a]克劳斯·维赫劳赫。一些翻译人员在实数表示之间的不连续程度。Informatik Berichte 129，Fernuniversit？at Hagen，1992年。
[50] [Wei92b]克劳斯·维赫劳赫。TTE对全科学原则的三个层次的解释。Informatik Berichte 130，Fernuniversit–Hagen，1992年。
[51] [Wei00]克劳斯·维赫劳赫（Klaus Weihrauch）。可计算分析。理论计算机科学课文。斯普林格，2000年·Zbl 0956.68056号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。