无穷损害方法的框架模式

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

关于一些多项式时间度对的连续性

本文的主要结果是:对任何度,存在使并且对任何度。     

复杂性集类的递归论结构

本文使用间隙语言方法研究了复杂性集类的递归论结构,得到了复杂性集类集合剖分的许多新结果。     

关于Grzegorczyk第九问题

本文通过引进二重递归函数类的一种分层{Y_n}_(n∈∞),证明了借助于本原函数(后继函数、零函数和投影函数)以及原始递归和复合运算,如果仅增加有限多个二重递归函数作为开始函数,则不足以产生全体二重递归函数。     

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

证明了对任意r.e .度v相似文献   

关于递归控制Turing可化归性

证明了“递归控制Ｔｕｒｉｎｇ可化归性”崩溃成平凡情形，即证明了任何两个有穷集合任何两无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的。也即有且 只有两个递归可枚举的ｒｃｔ－度。