每一个非零的可计算可枚举强有界图灵度都具有反成杯性质(英文)

可计算Lipschitz图灵归约(cl-归约)是指用函数被x→x+c约束的图灵归约,其中c是常数;而ibT归约则通过限制用函数为恒等函数得到。我们通称cl-,ibT-归约为强有界图灵归约。我们证明:对于r=cl,ibT,在可计算可枚举r-度构成的偏序结构(R_r,≤)中,每一个非零的a都具有反成杯性质。为此,我们证明一个新结论:对于每一个不可计算的可计算可枚举集合A,都存在一个不可计算的可计算可枚举B,使得对所有满足A≤_(wtt) C的可计算可枚举集合C都有B≤_(ibT) C。结合关于可计算偏移的已知性质,我们便可得到上述主要定理。