马修·德·布莱希特 不连续性、极限计算性和跳跃运算符的级别。 （英语） Zbl 1344.03037号 Brattka，Vasco（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。Ontos数学逻辑4，79-107（2014）。 摘要：我们发展了跳跃算子的一般理论，旨在抽象表示空间上的“极限可计算性”概念。跳跃操作符还提供了一个具有强烈分类风格的框架，用于研究所表示空间上函数和集合层次的不连续程度。我们将在这个框架内对任意可数基（T_0）-空间之间的（Delta_2^0）-可测函数的层次结构进行彻底的研究，它捕获了用顺序思维变化边界进行计算的概念。我们的抽象方法不仅提出了新的问题，也为以前的结果提供了新的启示。例如，我们引入了“高阶”描述性集合理论对象的概念，推广了可计算性理论中“低”概念的伴随函子的最新特征，并证明了我们的框架包含了希尔伯特有限基定理非构造性的序数量化。关于整个系列，请参见[Zbl 1294.03011号]. 引用于14文件 MSC公司： 03日30分 可计算性和递归理论中的其他度和可约性 05年5月54日 描述性集合理论（Borel集、解析集、射影集等的拓扑方面） 第26A21页 实际函数的分类；集合与函数的Baire分类 03层60 构造性和递归分析 03G30型 范畴逻辑，拓扑 03E15年 描述性集合论 关键词：Borel复杂性;可计算分析;描述性集合论;范畴理论 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht}，Ontos数学。日志。4、79——107（2014；Zbl 1344.03037） 全文： arXiv公司