Results 1 
2 of
2
Bounded Immunity and BttReductions
 MLQ Math. Log. Q
, 1999
"... We define and study a new notion called kimmunity that lies between immunity and hyperimmunity in strength. Our interest in kimmunity is justified by the result that # # does not ktt reduce to a kimmune set, which improves a previous result by Kobzev [7, 13]. We apply the result to show that ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
We define and study a new notion called kimmunity that lies between immunity and hyperimmunity in strength. Our interest in kimmunity is justified by the result that # # does not ktt reduce to a kimmune set, which improves a previous result by Kobzev [7, 13]. We apply the result to show that # # does not bttreduce 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 e#ectively simple sets and show that simple sets are not bttcuppable. Keywords: Computability, Recursion Theory, bounded reducibilities, minimal programs, immunity, kimmune, regressive, retraceable, e#ectively simple, cuppable. 1 Introduction There seems to be a large gap between immunity and hyperimmunity (himmunity) that is waiting to be filled. What happens, one wonders if the disjoint strong arrays that try to witness that a set is not himmune are subjected to additional conditions...
Simple Sets Are Not BttCuppable
, 1997
"... We extend Post's result that a simple set cannot be bttcomplete by showing that in fact it cannot be bttcuppable, i.e. if the join of a c.e. set and a simple set is bttcomplete, then the nonsimple set is bttcomplete itself. The proof also yields that simple sets are not dcuppable (i.e. not cup ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We extend Post's result that a simple set cannot be bttcomplete by showing that in fact it cannot be bttcuppable, i.e. if the join of a c.e. set and a simple set is bttcomplete, then the nonsimple set is bttcomplete itself. The proof also yields that simple sets are not dcuppable (i.e. not cuppable with regard to disjunctive reductions). Post showed that a simple set cannot be bttcomplete. In a paper by Stephen Fenner and the author [3] this was generalized to nonc.e. sets by isolating the immunity property which is responsible for the incompleteness. Another approach to the bttincompleteness of simple sets would have been through degrees. How incomplete are simple sets? Putting it dioeerently: can the join of a bttincomplete degree with a simple degree be bttcomplete? We will show that the answer is no. Deønition 1 A set A is called rcuppable, if there is a c.e. set B such that ; 0 r A \Phi B and ; 0 6 r B, where r is a class of reductions (like m, 1, btt, c, d, tt...