论文部分内容阅读
本文研究计算可枚举图灵度的结构,提出并完成了一个加杯层谱的证明。 计算可枚举度(computably enumerable,c.e.degree)a被称作加杯的(plus cupping),若对任何c.e.度x,0<x≤a,存在c.e.度y≠0′, 满足x∨y=0′。我们称一个c.e.度是n-加杯的(n-plus—cupping),如果对每个c.e.度x,0<x≤a,存在lown c.e.度1,有x∨1=0′。定义PC和PCn分别为所有的加杯和n-加杯c.e.度的集合。我们有PC1(?)PC2(?)PC3=PC。在这篇文章中,我们证明了PC1(?)PC2,从而给出了加杯计算可枚举图灵度的一个非平凡层谱。该定理扩充了李昂生、吴国华、张再跃2000年提出的一个层谱:LC1(?)LC2(?)LC3=CUP,同时也扩充了Harrington1978年的加杯定理(Plus Cupping Theorem)。