萨克斯分裂定理

（计算机科学技术）

萨克斯分裂定理（Sacks splitting theorem），计算机科学技术名词，任给计算可枚举图灵度 a ＞0，存在计算可枚举图灵度，，使得＜，＜a ，且∨=a ，这里∨是和的上确界。