-
题名相对可知度的构造
- 1
-
-
作者
蒋映
-
机构
云南师大数学系
-
出处
《云南师范大学学报(自然科学版)》
1992年第1期1-5,共5页
-
基金
云南省科委应用基础研究基金
-
文摘
在本文中我们证明,对任何给定的两个r、e度b、e,若c≮b,则存在r、e度a≮b,使得c≮a∪b,即a相对于b,c的“不小于”关系(≮)具有可知性质。
-
关键词
逆归可枚举度
其步集
损害集
-
Keywords
recursive enumerable degree(r.e. degree) the stage(sets) Injury(sets)
-
分类号
O141.3
[理学—基础数学]
-
-
题名商偏序R/M中的弱可杯定理
被引量:1
- 2
-
-
作者
张再跃
-
机构
扬州师院数学与计算机科学系
-
出处
《扬州师院学报(自然科学版)》
CSCD
1995年第3期32-38,共7页
-
基金
国家863高科技项目资助课题.
-
文摘
对任意的[a]εR/M,[o] ,存在[b]εR/M,[o] ,使得[a] [b]=[o].
-
关键词
商偏序
逆归可枚举度
弱可杯定理
递归函数
-
Keywords
Quotient partial structure
Recursive enumerable degrees
-
分类号
O141.3
[理学—基础数学]
-