摘要
我们研究了有效控制性质与有界跳跃之间的关系。我们回答了关于有界跳跃的两个公开问题:(1)我们证明了Sacks跳跃反演的模拟对于有界跳跃和-可还原性。(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日
数字对象标识符:10.1215/00294527-2020-0005
学科:
主要用户:03日30分
次要:03D28号
关键词:有界跳跃,主导功能,高度,跳跃反演,wtt度
版权所有©2020圣母大学