Bounded Immunity and Btt‐Reductions
作者:
Stephen Fenner,
Marcus Schaefer,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1999)
卷期:
Volume 45,
issue 1
页码: 3-21
ISSN:0942-5616
年代: 1999
DOI:10.1002/malq.19990450102
出版商: WILEY‐VCH Verlag Berlin GmbH
关键词: Computability;Recursion theory;Bounded reducibilities;Minimal programs;Immune;Hyperimmune;k‐immune;Regressive;Retraceable;Effectively simple;Cuppable
数据来源: WILEY
摘要:
AbstractWe define and study a new notion calledk‐immunity that lies between immunity and hyperimmunity in strength. Our interest ink‐immunity is justified by the result that θ does notk‐tt reduce to ak‐immune set, which improves a previous result by Kobzev [7]. We apply the result to show that Φ′ does not btt‐reduce to MIN, the set of minimal programs. Other applications include the set of Kolmogorov random strings, and retraceable and regressive sets. We also give a new characterization of effectively simple sets and show that simple sets are not
点击下载:
PDF
(1188KB)
返 回