首页   按字顺浏览 期刊浏览 卷期浏览 Bounded Immunity and Btt‐Reductions
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)



返 回