Recursion, metarecursion, and inclusion

Journal of Symbolic Logic 32 (2):173-179 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271654

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

External links

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

Through your library

My notes

Similar books and articles

Contributions to [alpha]- and [beta]-recursion theory.Wolfgang Maass - 1978 - München: Minerva-Publikation.
Logic without contraction as based on inclusion and unrestricted abstraction.Uwe Petersen - 2000 - Studia Logica 64 (3):365-403.
What is Radical Recursion?Steven M. Rosen - 2004 - SEED Journal 4 (1):38-57.
Diagonalization and the recursion theorem.James C. Owings - 1973 - Notre Dame Journal of Formal Logic 14 (1):95-99.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
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..
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.
Recursion on the countable functionals.Dag Normann - 1980 - New York: Springer Verlag.

Analytics

Added to PP
2009-01-28

Downloads
16 (#924,050)

6 months
3 (#1,020,910)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Splitting theorems in recursion theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
Hyperhypersimple α-r.e. sets.C. T. Chong & M. Lerman - 1976 - Annals of Mathematical Logic 9 (1-2):1-48.
A Dichotomy of the Recursively Enumerable Sets.Robert W. Robinson - 1968 - Mathematical Logic Quarterly 14 (21-24):339-356.
Some orbits for E.Peter Cholak, Rod Downey & Eberhard Herrmann - 2001 - Annals of Pure and Applied Logic 107 (1-3):193-226.

View all 8 citations / Add more citations

References found in this work

Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.

Add more references