Abstract
A polynomially exponential time restrained analytical hierarchy is introduced with the basic properties of the hierarchy followed. And it will be shown that there is a recursive setA such thatA does not belong to any level of thep-arithmetical hierarchies. Then we shall prove that there are recursive setsA andB such that the different levels of the analytical hierarchy relative toA are different and for somen every level higher thann of the analytical hierarchy relative toB is the same as then-th level. And whether the higher levels are collapsed into some lower level is neither provable nor disprovable in set theory and several other results.
Similar content being viewed by others
References
P. G. Hinman, Recursion-Theoretic Hierarchies. Springer-Verlag, 1978.
C. M. R. Kintala and P. C. Fisher, Computations with a restricted number of non-deterministic steps.MST,12 (1977), 219–231.
H. Rogets, Jr., Theory of Recursive Functions and Effective Computability. McGraw-Hill, 1967.
R. I. Soare, Recursive Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Omega Series, Springer-Verlag, 1987.
K. Wagner and C. Wechsung, Computational Complexity. InMath. and Its Applications, D. Reidel Publishing Company, 1986.
Author information
Authors and Affiliations
Additional information
Research supported by the Youth NSF grant JJ890407.
Rights and permissions
About this article
Cite this article
Sui, Y. The polynomially exponential time restrained analytical hierarchy. J. of Comput. Sci. & Technol. 6, 282–284 (1991). https://doi.org/10.1007/BF02945517
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02945517