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

发布时间：2018-04-24 04:37

  本文选题：反杯 + 弹球机　； 参考：《科学通报》1995年22期

【摘要】：正1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,
[Abstract]:The main theorem of positive 1 and the study of the properties of recursive enumerable degree and counter cup are one of the important topics in the study of recursion theory. In this paper, the following theorems will be proved: theorem 1 is for arbitrary r.e. Degree b and high r.e. The degree d is satisfied with bpd, and there exists r. e. Degree a is such that a / a / b / b and a are an anticupping evidence of d. In this paper, the basic concepts and terms of reference [1] and [2] are adopted. The function f dominates g, if for almost all Xs,
【作者单位】： 扬州大学师范学院数学系
【基金】：国家863高科技项目基金资助
【分类号】：O141.1
，

本文编号：1795200