Skip to main content
SpringerLink
Log in
Book cover

Symposium on Recursive Combinatorics

LaM 1983: Logic and Machines: Decision Problems and Complexity pp 380–389Cite as

Second order spectra

  • Section V: Spektralproblem
  • Conference paper
  • First Online:

  • 158 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 171))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. Bennet, J.: On spectra. Doctoral Dissertation, Princton Univ., Princeton, 1962.

    Google Scholar 

  3. Chandra, A. and Stockmeyer, L.: Alternation. 17th. IEEE — Focs (1976) 98–108.

    Google Scholar 

  4. Christen, C.A.: Spektren und Klassen elemtarer Funktionen. Dissertation 5330, ETH Zürich, 1974.

    Google Scholar 

  5. Christen, C.A.: Spektralproblem und Komplexitätstheorie. Lecture Notes in Computer Science 43 (1976) 102–126.

    Google Scholar 

  6. Eglot, C.: Decision problems of finite automa design and related arithmetics. Trans AMS 98 (1961) 21–51, 103 (1962).

    Google Scholar 

  7. Fagin, R.: Generalized first — order spectra and polynomial time recognizable sets. SIAM — AMS Proc. 7 (1974) 43–73.

    Google Scholar 

  8. Jones, N.D. and Selman, A.L.: Turing machines and the spectra of first order formulas. J. Symbolic Logic 39 (1974) 139–150.

    Google Scholar 

  9. Kozen, D.: On parallelism in Turing machines. 17th. IEEE — Focs (1976) 89–97.

    Google Scholar 

  10. Mostowski, A.: Concerning a problem of H. Scholz. Zeitschrift f. math. Logik u. Grundl. d. Math. 2 (1956) 210–214.

    Google Scholar 

  11. Rödding, D. und Schwichtenberg, H.: Bemerkungen zum Spektralproblem. Zeitschrift f. math. Logik u. Grundl. d. Math. 18 (1972) 1–12.

    Google Scholar 

  12. Scarpellini, B.: Complete second order spectra. To appear in Zeitschrift f. math. Logik u. Grundl. d. Math.

    Google Scholar 

  13. Scholz, H.: Ein ungelöstes Problem in der symbolischen Logik. J. Symbolic Logic 17 (1952) 160.

    Google Scholar 

  14. Stockmeyer, L.: The polynomial — time hierarchy. Theor. Comp. Sci. 3 (1977) 1–22.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Basel, Switzerland

    Bruno Scarpellini

Authors
  1. Bruno Scarpellini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

E. Börger G. Hasenjaeger D. Rödding

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation