2020年5月 有效控制与有界跳跃
Keng Meng Ng公司,余洪源
圣母院J.形式逻辑 61(2): 203-225 (2020年5月)。 内政部:10.1215/00294527-2020-0005

摘要

我们研究了有效控制性质与有界跳跃之间的关系。我们回答了关于有界跳跃的两个公开问题:(1)我们证明了Sacks跳跃反演的模拟对于有界跳跃和重量(wtt)-可还原性。(2) 我们证明了任何c.e.有界的高集都不可能是低的,因为它们都必须是图灵完备的。我们将这类c.e.有界高集刻画为通过使用有界约简计算暂停问题的集ω-c.e.功能。我们定义了有效支配c.e.集的几个概念,并证明了它们与有界高集一起形成了一个适当的层次结构。

引用

下载引文

Keng Meng Ng。 余洪源。 “有效控制和有界跳跃。” 圣母院J.形式逻辑 61 (2) 203 - 225, 2020年5月。 https://doi.org/10.1215/00294527-2020-0005

问询处

收到日期:2018年2月13日;接受日期:2019年4月25日;发布日期:2020年5月
欧几里德项目首次提供:2020年4月7日

zbMATH公司:07222687
数学科学网:4092531令吉
数字对象标识符:10.1215/00294527-2020-0005

学科:
主要用户:03日30分
次要:03D28号

关键词:有界跳跃,主导功能,高度,跳跃反演,wtt度

版权所有©2020圣母大学

期刊文章
23页

此文章仅适用于订户.
它不可单独出售。
+ 保存到我的库中

第61卷•第2期•2020年5月
返回页首