Project is supported by the National Natural Science Foundation of China under Grant No.19971090(国家自然科学基金).
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c
It is proved that given any nonrecursive r.e. degree a, there exist r.e. degrees c
张再跃,眭跃飞.每个非零的 a∈ R/ M 中不存在极小元(英文).软件学报,2000,11(11):1425-1429
京公网安备 11040202500063号