<正>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是递......

证明了给定任何非零的递归可枚举图灵度ａ存在递归可枚举图灵度ｃ〈ａ和ｄ∈Ｍ，使得ａ≤ｄＵｃ．由此可以得到：在每个非零「Ａ」∈Ｒ∧Ｍ中不存在极小元，即给定任......

本文利用 Shore[1988]创造的新的 o 方法,证明了,对任意集合 B,存在 e,i使对任递旧可枚举集 A,如果 B<_TA。那么不可能 AW_e~A 和 ......

证明了在商偏序Ｒ／Ｍ中，任意非零等价类中存在不可比代表元，即对任意〔ａ〕∈Ｒ／Ｍ，如果〔ａ〕≠〔ｏ〕，则存在递归可枚举度ｂ１和ｂ２满足ｂ１＊ｂ２，并且（ｂ１）＝（ｂ２）＝（ａ）。......

运用关键点编码技巧构造性地证明了在递归可枚举度集中，对任给的非递归的递归可枚举度ｄ，存在可盖的递归可枚举度ａ和递归可枚举度ｃ满足ｄ≮......

本文将对递归枚举度构造中的几种主要我穷损害方法－真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区......

本文用Ｏ′″优先损害方法证明了在ｄ．ｒ．ｅ．度中任何低的递归可枚举度ｌ之上存在一个非稠密区间，即存在ｄ．ｒ．ｅ．度ｄ，ｌ＜ｄ＜０＇使得对任何ｄ．ｒ．ｅ．度ｕ，要么ｕ＝０＇要么ｕ≤ｄ。......