Bounded Immunity and Btt-Reductions


We define and study a new notion called k-immunity that lies between immunity and hyperimmunity in strength. Our interest in k-immunity is justified by the result that ∅ does not k-tt reduce to a k-immune set, which improves a previous result by Kobzev [7, 13]. We apply the result to show that ∅ does not btt-reduce to MIN, the set of minimal programs. Other… (More)
DOI: 10.1002/malq.19990450102


  • Presentations referencing similar topics