Skip to main content
SpringerLink
Log in

Second order spectra

  • Section V: Spektralproblem
  • Conference paper
  • First Online:
Logic and Machines: Decision Problems and Complexity (LaM 1983)

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

Included in the following conference series:

  • 158 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

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