论文部分内容阅读
为了比较实数的随机性,引入某种归约将实数进行分类,例如Solovay规约。但是Solovay规约存在一些缺点,Downey,Dirchfeldt,Laforte提出了sw归约(stronglyweaktruthtablereducibility),并且分析了sw度的一些性质。在本文中,通过引进低可计算可枚举实数及sw-cuppable定义,进一步研究sw度向上的结构。
主要证明了如下的结果:
(1)存在两个强可计算可枚举实数,对于任何强可计算可枚举实数而言不可能在sw归约意义下同时大于这两个强可计算可枚举实数。
(2)存在一个可计算可枚举实数在sw归约下大于任何强可计算可枚举实数。
(3)对于可计算可枚举实数而言,存在低的可计算可枚举实数,满足在sw归约下不小于此可计算可枚举实数。
(4)既存在满足sw-cuppable的可计算可枚举实数,也存在不满足sw-cuppable的可计算可枚举实数。
(5)既存在满足sw-cuppable的强可计算可枚举实数,也存在不满足sw-cuppable的强可计算可枚举实数.