Preview
Unable to display preview. Download preview PDF.
References
Asser, G.: Das Representantenproblem im Prädikatenkalkül erster Stufe mit Identität. Zeitschrift für math. Logik u. Grundl. d. Math., 1 (1955) 252–263.
Bennet, J.: On spectra. Doctoral Dissertation, Princton Univ., Princeton, 1962.
Chandra, A. and Stockmeyer, L.: Alternation. 17th. IEEE — Focs (1976) 98–108.
Christen, C.A.: Spektren und Klassen elemtarer Funktionen. Dissertation 5330, ETH Zürich, 1974.
Christen, C.A.: Spektralproblem und Komplexitätstheorie. Lecture Notes in Computer Science 43 (1976) 102–126.
Eglot, C.: Decision problems of finite automa design and related arithmetics. Trans AMS 98 (1961) 21–51, 103 (1962).
Fagin, R.: Generalized first — order spectra and polynomial time recognizable sets. SIAM — AMS Proc. 7 (1974) 43–73.
Jones, N.D. and Selman, A.L.: Turing machines and the spectra of first order formulas. J. Symbolic Logic 39 (1974) 139–150.
Kozen, D.: On parallelism in Turing machines. 17th. IEEE — Focs (1976) 89–97.
Mostowski, A.: Concerning a problem of H. Scholz. Zeitschrift f. math. Logik u. Grundl. d. Math. 2 (1956) 210–214.
Rödding, D. und Schwichtenberg, H.: Bemerkungen zum Spektralproblem. Zeitschrift f. math. Logik u. Grundl. d. Math. 18 (1972) 1–12.
Scarpellini, B.: Complete second order spectra. To appear in Zeitschrift f. math. Logik u. Grundl. d. Math.
Scholz, H.: Ein ungelöstes Problem in der symbolischen Logik. J. Symbolic Logic 17 (1952) 160.
Stockmeyer, L.: The polynomial — time hierarchy. Theor. Comp. Sci. 3 (1977) 1–22.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Scarpellini, B. (1984). Second order spectra. 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_53
Download citation
DOI: https://doi.org/10.1007/3-540-13331-3_53
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