Highly Influenced

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)

### Presentations referencing similar topics