本文選題：反杯 + 彈球機(jī)��； 參考：《科學(xué)通報(bào)》1995年22期

【摘要】：正1 主要定理及需求遞歸可枚舉度可杯與反杯性質(zhì)的研究是遞歸論研究的重要課題之一,本文將證明如下定理:定理1 對(duì)任意r.e.度b和高r.e.度d滿足b(?)d,存在r.e.度a使得a(?)b并且a是d的一個(gè)反杯證據(jù).本文采用文獻(xiàn)[1]和文獻(xiàn)[2]中的基本概念和術(shù)語(yǔ).稱(chēng)函數(shù)f支配g,如果對(duì)幾乎所有的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,
【作者單位】： 揚(yáng)州大學(xué)師范學(xué)院數(shù)學(xué)系
【基金】：國(guó)家863高科技項(xiàng)目基金資助
【分類(lèi)號(hào)】：O141.1
，

本文編號(hào)：1795200