每个非零的 a∈ R/ M中不存在极小元(英文) 被引量：1

1

作者 张再跃 眭跃飞 《软件学报》 EI CSCD 北大核心 2000年第11期1425-1429,共5页

证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].

关键词 图灵度 递归可枚举度 极小时

下载PDF 职称材料

在d-r.e.度结构中真d-r.e.分支度的弱稠密性

2

作者 陆宏 丁德成 《中国科学（A辑）》 CSCD 1999年第2期97-104,共8页

证明了对任意r.e .度v <u ,存在真d r .e .度c ,使得c在d r .e .度结构中可分支 ,且v <c<u .

关键词 递归论 递归可枚举度 分支度 弱稠密性 递归函数

原文传递

关于伪JUMP运算的一些结果Ⅰ

3

作者 李昂生 《云南师范大学学报（自然科学版）》 1991年第1期1-10,共10页

本文利用 Shore[1988]创造的新的 o 方法,证明了,对任意集合 B,存在 e,i使对任递旧可枚举集 A,如果 B<_TA。那么不可能 AW_e^A 和 AW_i^A 均是 B 递旧可枚举的进而,存在 e,i 使对任集合 B 和 A,如果 B<_TA 且 A 是递旧可枚举集,... 本文利用 Shore[1988]创造的新的 o 方法,证明了,对任意集合 B,存在 e,i使对任递旧可枚举集 A,如果 B<_TA。那么不可能 AW_e^A 和 AW_i^A 均是 B 递旧可枚举的进而,存在 e,i 使对任集合 B 和 A,如果 B<_TA 且 A 是递旧可枚举集,那么不可能 AW_e^A 和 AW_i^A 均有 B 递归可枚举度,从而否定地解决了 Jochusch 和 Shore[1983]提出的一个未解决问题:是否对任 e 和 i,存在非递旧递归可枚举集 A 使 AW_e^A 和 AW_i^A均有递旧可枚举度? 展开更多

关键词 递归可枚举集 递归可枚举度

下载PDF 职称材料

d.r.e.度中钻石格的嵌入

4

作者 蒋志根 《中国科学（A辑）》 CSCD 1993年第2期137-143,共7页

本文证明了在d.r.e.度中,对任意高的递归可枚举度h,存在非零的d_1,d_2,使得d_1∪d_2=h,d_1∩d_2=0,即0,d_1,d_2,h构成钻石格.

关键词 递归可枚举度 钻石格 递归可枚举集

原文传递

R_(wtt)/ M_(wtt)中的枝点元素(英文) 被引量：1

5

作者 张再跃 眭跃飞 《软件学报》 EI CSCD 北大核心 2000年第4期441-446,共6页

该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集

关键词 递归可枚举度 Rwtt/Mwtt 枝点元素

下载PDF 职称材料

递归可枚举度的强分解定理 被引量：1

6

作者 李昂生 《数学学报（中文版）》 SCIE CSCD 北大核心 1992年第2期251-256,共6页

本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)... 本文将证明,对任 r.e.度(?),存在 r.e.度(?),(?),(?),和(?)使得(?)<(?),(?)<(?),(?)<(?)≤(?),(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?),如果(?),那么(?)∩(?).这结果的一个立即推论是,对任 r.e.度(?),存在(?)<(?)使[(?)]中一切(?)-cappable 度不作成理想.同时可推出:对任 r.e.度(?),存在 r.e.度(?),(?)和(?)使得(?)∪(?)=(?),(?)∩(?)=(?)且对任 r.e.度(?)有(?).这是 r.e.度分解的一个临界性结果. 展开更多

关键词 递归可枚举度 强分解定理

原文传递

关于相对反杯性质的一个结果

7

作者 张再跃 《科学通报》 EI CAS CSCD 北大核心 1995年第22期2022-2025,共4页

1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术... 1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X, 展开更多

关键词 递归可枚举度 递归论 反杯性质 递归函数

原文传递

无穷损害方法的框架模式

8

作者 蒋映 《云南师范大学学报（自然科学版）》 1995年第3期19-25,共7页

本文将对递归可枚举度构造中的几种主要无穷损害方法──真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。

关键词 递归论 无穷损害法 递归可枚举度 框架模式

下载PDF 职称材料

准邻接度的格嵌入性质

9

作者 钱磊 郑锡忠 《科学通报》 EI CAS CSCD 北大核心 1992年第23期2200-2202,共3页

所谓邻接(Contiguous)度是指只含一个递归可枚举(简称r.e.)的wtt-度的r.e.图灵度。Stob和Ambos-spies研究了邻接度的存在性与格嵌入等问题。本文将研究的是一种与邻接度十分相似的度——准邻接度,并讨论其格嵌入性质。

关键词 递归可枚举度 准邻接度 格嵌入

原文传递

递归可枚举度临界性问题的一个结果(Ⅰ)

10

作者 李昂生 眭跃飞 《数学学报（中文版）》 SCIE CSCD 北大核心 1993年第5期654-661,共8页

本文证明:对任 cappable r.e.度■,存在 r.e.度■和■使得■>■,■∧■=0且对任 r.e.度■,如果■且■,那么■∧■≠■.

关键词 递归可枚举度 临界性 主子度

原文传递

关于递归可枚举度可杯可盖性质的一道命题

11

作者 张再跃 《扬州师院学报（自然科学版）》 CSCD 1997年第1期1-5,共5页

运用关键点编码技巧构造性地证明了在递归可枚举度集中,对任给的非递归的递归可枚举度d,存在可盖的递归可枚举度 a 和递归可枚举度 c 满足 dc,并且有 d≤a∪ .

关键词 递归可枚举度 可杯性 可盖性

下载PDF 职称材料

RelatioR/M中的与 R中的≤_T的关系(英文)

12

作者 眭跃飞 《软件学报》 EI CSCD 北大核心 2000年第6期745-750,共6页

证明存在递归可枚举图灵度 a和 c使得 c a,并且对每个递归可枚举图灵度 b≤ Ta,b≠ c,其中 a是 R/M中的一个元素 ,R/ M是递归可枚举图灵度集 R模可盖图灵度集 M的商 .

关键词 递归可枚举度 弱真值表归约

下载PDF 职称材料

商偏序R/M非零等价类中存在不可比代表元

13

作者 张再跃 《扬州师院学报（自然科学版）》 CSCD 1997年第4期1-8,共8页

证明了在商偏序 R/M 中,任意非零等价类中存在不可比代表元,即对任意[a]∈R/M,如果[a]≠[o],则存在递归可枚举度 b_1和 b_2满足 b_1b_2并且[b_1]=[b_2]=[a].

关键词 商偏序 递归可枚举度 不可比代表元 R/M结构

下载PDF 职称材料

低R.E度上D.R.E.度的非稠密性

14

作者 蒋志根 《数学年刊（A辑）》 CSCD 北大核心 1993年第5期501-506,共6页

本文用O(?)优先损害方法证明了d.r e.度中任何低的递归可枚举度ι之上存在一个非稠密区间,即存在d.r.e.度d,ι<d<0′,使得对任何d.r.e.度u,要么u=0′,要么u≤d。

关键词 递归可枚举度 非稠密性 树

下载PDF 职称材料