Preview
Unable to display preview. Download preview PDF.
References
L. Berman and J. Hartmanis. On isomorphisms and density of NP and other complete sets. SIAM J. Comp. 6, 1977, pp 305–321.
J. Bell and M. Machover. A First Course in Mathematical Logic. (Amsterdam: North-Holland Pub. Co., 1977).
P. Chew and M. Machtey. A note on structure and looking-back (...). J. Comp. Sys. Sci. 22, 1981, pp 53–59.
P. Hajek. Arithmetical hierarchy and complexity of computation. Theor. Comp. Sci. 8, 1979, pp 227–237.
D. Joseph and P. Young. Independence results in computer science? J. Comp. Sys. Sci. 23, 1981, pp 205–222.
D. Kozen. Indexings of subrecursive classes. Theoretical Computer Science 11, 1980, pp 277–301.
D. Leivant. Unprovability of theorems of complexity theory in weak number theories. Theor. Comp. Sci. 18, 1982, pp 259–268.
L. Landweber and E. Robertson. Recursive properties of abstract complexity classes. J. ACM 19, 1972, pp 296–308.
K. Regan. Computability, enumerability, and the polynomial hierrchy. M.Sc. qualif. dissertation, Oxford, 1982.
H. Rogers. Theory of Recursive Functions and Effective Computability. (New York: McGraw-Hill, 1967).
U. Schöning. Untersuchungen zur Struktur von NP... Ph.D dissertation, Stuttgart, 1981.
U. Schöning. A uniform approach to obtaining diagonal sets in complexity classes. Theor. Comp. Sci. 18, 1982, pp 95–103.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Regan, K.W. (1984). Arithmetical degrees of index sets for complexity classes. In: Börger, E., Hasenjaeger, G., Rödding, D. (eds) Logic and Machines: Decision Problems and Complexity. LaM 1983. Lecture Notes in Computer Science, vol 171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13331-3_37
Download citation
DOI: https://doi.org/10.1007/3-540-13331-3_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13331-5
Online ISBN: 978-3-540-38856-2
eBook Packages: Springer Book Archive