算法复杂性函数渐近优超等价类的结构性质

本文建立了算法复杂性函数渐近优超等价类数学结构,并应用递归论研究中的方法和技巧对该结构的性质进行了系统的研究,证明了该结构具有强friedberg-muchnic性质和在偏序意义下的稠密性定理.