Skip to main content
SpringerLink
Log in

The operator gap theorem in α-recursion theory

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Blum, M.: A machine-independent theory of the complexity of recursive functions. Journal of the Association of Computing Machinery14, 322–336 (1967).

    Google Scholar 

  2. Constable, R.L.: The operator gap. Journal of the Association of Computing Machinery19, 175–183 (1972).

    Google Scholar 

  3. Di Paola, R.A.: The operator gap theorem in α-recursion theory. Notices of the American Mathematical Society, Vol. 23, No. 5, August 1976, p. A-504.

  4. Jacobs, B.: On generalized computational complexity. The Journal of Symbolic Logic, Vol. 42, No. 1, pp. 47–58 (1977).

    Google Scholar 

  5. Jacobs, B.: α-Naming and α-speedup theorems (to appear in the Notre Dame Jour. of Formal Logic).

  6. Kreisel, G., Lacombe, D., Shoenfield, J.R.: Partial recursive functionals and effective operations. In: Heyting, A. (ed.): Constructivity in mathematics: proceedings of the colloquium held at Amsterdam, pp. 195–207. Amsterdam: North-Holland Publ. Co. 1957.

    Google Scholar 

  7. Kripke, S.: The theory of transfinite recursions (unpublished class notes by A.T. Tymoczko).

  8. McCreight, E., Meyer, A.: Classes of computable functions defined by bounds on computation. Preliminary report, Proceedings of ACM Symposium on Theory of Computing (1969), pp. 79–88.

  9. Rabin, M.O.: Degrees of difficulty of computing a function and a partial ordering of recursive sets. Tech. Rep. 2, Hebrew University, Jerusalem (1960).

    Google Scholar 

  10. Sacks, G. E., Simpson, S.: The α-finite injury method. Ann. Math. Logic4, 343–368 (1972).

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Queens College of the City, University of New York, 11367, Flushing, New York, USA

    Robert A. Di Paola

Authors
  1. Robert A. Di Paola
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The preparation of this paper was supported in part by a grant from the City University of New York, Faculty Research Award Program.

We wish to acknowledge helpful comments of the referee regarding several expository points.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Di Paola, R.A. The operator gap theorem in α-recursion theory. Arch math Logik 19, 115–129 (1978). https://doi.org/10.1007/BF02011873

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02011873

Keywords

Search

Navigation