递归可枚举度相关论文
<正>1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和......
本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r......
长期以来图灵度形成的偏序结构D=(D,≤)是递归论的一个主要研究对象,对其子结构(R,≤)的研究则是一个重要分支。这里R是所有递归可枚......
证明存在递归可枚举图灵度a和c使得c≤a,并且对每个递归可枚举图灵度b≤τa,b≠c,其中a是R/M中的一个元素,R/M是递归可枚举图灵度集R模可......
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递......
证明了给定任何非零的递归可枚举图灵度a存在递归可枚举图灵度c〈a和d∈M,使得a≤dUc.由此可以得到:在每个非零「A」∈R∧M中不存在极小元,即给定任......
本文利用 Shore[1988]创造的新的 o 方法,证明了,对任意集合 B,存在 e,i使对任递旧可枚举集 A,如果 B<_TA。那么不可能 AW_e~A 和 ......
证明了在商偏序R/M中,任意非零等价类中存在不可比代表元,即对任意〔a〕∈R/M,如果〔a〕≠〔o〕,则存在递归可枚举度b1和b2满足b1*b2,并且(b1)=(b2)=(a)。......
运用关键点编码技巧构造性地证明了在递归可枚举度集中,对任给的非递归的递归可枚举度d,存在可盖的递归可枚举度a和递归可枚举度c满足d≮......
本文将对递归枚举度构造中的几种主要我穷损害方法-真步集方法、树构造方法、弹球机方法等作一框架性的描述,从而探讨其内在联系与区......
本文用O′″优先损害方法证明了在d.r.e.度中任何低的递归可枚举度l之上存在一个非稠密区间,即存在d.r.e.度d,l<d<0'使得对任何d.r.e.度u,要么u=0'要么u≤d。......