Some Reasons for Generalizing Recursion Theory

Journal of Symbolic Logic 40 (2):230-232 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Splitting theorems in recursion theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
Generalized recursion theory II: proceedings of the 1977 Oslo symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Induction–recursion and initial algebras.Peter Dybjer & Anton Setzer - 2003 - Annals of Pure and Applied Logic 124 (1-3):1-47.
Recursion theorems and effective domains.Akira Kanda - 1988 - Annals of Pure and Applied Logic 38 (3):289-300.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
Generalized recursion theory.Jens Erik Fenstad & Peter G. Hinman (eds.) - 1974 - New York,: American Elsevier Pub. Co..
Techniques of admissible recursion theory.C.-T. Chong - 1984 - New York: Springer Verlag.
Canonical Forms and Hierarchies in Generalized Recursion Theory.Phokion G. Kolaitis - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--139.
Algebraic recursion theory.Ljubomir Lalov Ivanov - 1986 - New York: Halsted Press.
Axiomatic recursion theory and the continuous functionals.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (2):442-450.
Term rewriting theory for the primitive recursive functions.E. A. Cichon & Andreas Weiermann - 1997 - Annals of Pure and Applied Logic 83 (3):199-223.

Analytics

Added to PP
2015-02-05

Downloads
15 (#893,994)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.
Hyperhypersimple sets and Δ2 systems.C. T. Chong - 1989 - Annals of Pure and Applied Logic 44 (1-2):25-38.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references