维克托·塞利瓦诺夫。 关于\（k\）-分区的Wadge可约性。 （英语） Zbl 1186.03066号 J.日志。阿尔盖布。程序。 79，第1期，92-102（2010）. 设（X）是拓扑空间，设（nu，mu:X\rightarrowk）是（X）（k\geq2）的分区。我们说，如果（X）上的某个连续函数（f）是Wadge可约为（nu）。这个概念推广了众所周知的关于\（X\）子集的Wadge可约性的概念。在本文中，主要关注Baire和Cantor空间、Baire域和Cantor域及其近亲。本文将Baire空间和Cantor空间中集的差分层次的已知结果推广到（k）-分划的情况。关于集合的Wadge层次结构的一些事实也被扩展到\（k\）-分区的情况。特别地，（Delta_2^0）-可测（k）-分区的Wadge度的结构被完全刻画。还表明，Wadge度结构的许多自然子结构对于（k\geq3）是不可判定的。审核人：Jan Kraszewski（Wrocław） 引用于4文件 MSC公司： 2015年3月 描述性集合论 03D55号 可计算性和可定义性的层次结构 关键词：拜尔空间；拜尔域；涉水减少性；\（k\）-分区；离散弱半格；同态前序；康托空间；康托域 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}，J.Log。阿尔盖布。程序。79，编号1，92--102（2010；Zbl 1186.03066） 全文： 内政部 参考文献： [1] S.Abramsky，A.Jung，领域理论，收录于：《计算机科学中的逻辑手册》，第3卷，牛津，1994年，第1-168页。；S.Abramsky，A.Jung，领域理论，收录于：《计算机科学中的逻辑手册》，第3卷，牛津，1994年，第1-168页。 [2] B.A.Davey，H.A.Pristley，《格与秩序导论》，剑桥，1994年。；B.A.Davey，H.A.Pristley，《格与秩序导论》，剑桥，1994年。 [3] 范·恩格伦（F.van Engelen）。；Miller，A。；Steel，J.，刚性Borel集和更好的拟序理论，Contem。数学。，65, 199-222 (1987) ·Zbl 0646.03045号 [4] Hemmerling，A.，由第一值运算符RAIRO-Theor定义的函数类的层次结构。通知。申请。，42, 2, 253-270 (2008) ·Zbl 1146.03032号 [5] P.Hertling，Topologische Komplexitätsgrade von Funktitionen mit endlichem Bild。Informatik-Berichte 152，Fernuniversität Hagen，1993年12月。；P.Hertling，Topologische Komplexitätsgrade von Funktitionen mit endlichem Bild。Informatik-Berichte 152，Fernuniversität Hagen，1993年12月。 [6] P.Hertling，Unstetiggeitsgrade von Funktitionen in der effectiven Analysis，博士论文，FernUniversität Hagen，Informatik-Berichte 208-11996。；P.Hertling，Unstetiggeitsgrade von Funktitionen in der effectiven Analysis，博士论文，FernUniversität Hagen，Informatik-Berichte 208-11996。 [7] Kechris，A.S.，经典描述性集合理论（1994），Springer:Springer纽约·Zbl 0805.54035号 [8] S.Kosub，《复杂性与划分》，博士论文，瓦茨堡，2000年。；S.Kosub，《复杂性与划分》，博士论文，瓦茨堡，2000年·兹比尔0996.68064 [9] S.Kosub，K.Wagner，NP部分的布尔层次结构，收录于：STACS-2000会议录，计算机科学讲稿，第1770卷，施普林格，柏林，2000年，第157-168页。；S.Kosub，K.Wagner，NP部分的布尔层次结构，收录于：STACS-2000会议录，计算机科学讲稿，第1770卷，施普林格，柏林，2000年，第157-168页·Zbl 0959.68521号 [10] 库迪诺夫，O.V。；Selivanov，V.L.，有限标记森林同态拟序的不可判定性，J.逻辑计算。，17, 1135-1151 (2007) ·兹比尔1214.03010 [11] O.V.Kudinov，V.L.Selivanov，有限标记森林同态拟序的可定义性，收录于：S.B.Cooper，B.Löwe，A.Sorbi（编辑），Conf.Computability in Europe-2007，计算机科学讲义，第4497卷，Springer，Berlin，2007，第436-445页。；O.V.Kudinov，V.L.Selivanov，有限标记森林同态拟序的可定义性，收录于：S.B.Cooper，B.Löwe，A.Sorbi（编辑），Conf.Computability in Europe-2007，计算机科学讲义，第4497卷，Springer，Berlin，2007，第436-445页·Zbl 1150.03312号 [12] 库迪诺夫，O.V。；Selivanov，V.L。；朱可夫，A.V.，《标记森林的（h）-拟序可定义性》，Ann.Pure Appl。逻辑。(2008) ·兹伯利1214.03023 [13] 卢瓦尔，A。；Saint Raymond，J.，关于可嵌入性下Borel线性序的拟序，J.Symb。逻辑，55537-560（1990）·Zbl 0702.03024号 [14] Selivanov，V.L.，关于指标集的度结构，代数逻辑，18463-480（1979）·Zbl 0439.03025号 [15] Selivanov，V.L.，关于广义指标集的度结构，代数逻辑，21472-491（1982）·Zbl 0572.03021号 [16] Selivanov，V.L.，可约基上分区的布尔层次，代数逻辑，43，77-109（2004）·Zbl 1061.03044号 [17] Selivanov，V.L.，《Wadge可还原性的变化》，西伯利亚高等数学。，15, 44-80 (2005) ·Zbl 1095.03042号 [18] Selivanov，V.L.，《（φ）-空间和应用的层次结构》，数学。逻辑夸脱。，51，N1，45-61（2005）·Zbl 1058.03048号 [19] Selivanov，V.L.，标记森林的商代数模h-等价，代数逻辑，46，120-133（2007）·Zbl 1164.03347号 [20] Selivanov，V.L.，面向类域结构的描述性集合理论，Theor。计算。科学。，365, 258-282 (2006) ·Zbl 1108.03050号 [21] Selivanov，V.L.，与计算理论相关的某些结构中的不确定性，J.逻辑计算。，177-197年（2009年）·Zbl 1170.03023号 [22] Selivanov，V.L.，《（Delta_2^0）-可测量（k）-分区的层次结构》，数学。逻辑夸脱。，53，N4/5，446-461（2007）·Zbl 1124.03021号 [23] V.L.Selivanov。关于\（k\）-分区的Wadge可约性。理论计算机科学电子笔记。CCA-2007会议<http://dx.doi.org/10.1016/j.entcs.2008.03.008>.; V.L.Selivanov。关于\（k\）-分区的Wadge可约性。理论计算机科学电子笔记。CCA-2007会议<http://dx.doi.org/10.1016/j.entcs.2008.03.008>. ·Zbl 1262.03102号 [24] D.Spreen，Rekursiontheorie auf Teilmengen Partieller Funktitonen。习惯化论文，亚琛RWTH，1985年。；D.Spreen，Rekursiontheorie auf Teilmengen Partieller Funktitonen。习惯化理论，亚琛工业大学，1985年·Zbl 0616.03026号 [25] Saint Raymond，J.，《Wadge分类》（1988），未出版手稿《Seminaire Initiation a l’Analyse》，巴黎大学7·Zbl 0732.03039号 [26] Wadge，W.，Baire空间子集的复杂度，通知AMS，A-714（1972） [27] Wadge，Baire空间中的可约性和确定性。1984年，加州大学伯克利分校博士论文。；Wadge，Baire空间中的可约性和确定性。1984年，加州大学伯克利分校博士论文。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。