Recursion theory

& (eds.)
Providence, R.I.: American Mathematical Society (1985)
  Copy   BIBTEX

Abstract

iterations of REA operators, as well as extensions, generalizations and other applications are given in [6] while those for the ...

Categories

Keywords

Reprint years

Call number

QA9.6.R4 1985

ISBN(s)

0821814478   9780821814475

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,211

External links

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

Through your library

My notes

Chapters

Major subsets and automorphisms of recursively enumerable sets.  (pages 21)Wolfgang Maass
A survey of lattices of re substructures.  (pages 42--323)Anil Nerode & Jeffrey Remmel
Aspects of the Continuous Functionals.  (pages 42--171)Dag Normann
Canonical Forms and Hierarchies in Generalized Recursion Theory.  (pages 42--139)Phokion G. Kolaitis
Condensation-coherent global square systems.  (pages 42--237)Hans-Dieter Donder, Ronald B. Jensen & Lee J. Stanley
Infinite fixed-point algebras.  (pages 42--473)Robert M. Solovay
The Embedding Problem for the Recursively Enumerable Degrees.  (pages 42--13)Shoenfield'S. Conjecture
The" Slow-Growing" U\ Approach to Hierarchies.  (pages 42--487)S. S. Wainer
Unimonotone functions of finite types (recursive functionals and quantifiers of finite types revisited IV).  (pages 42--119)S. C. Kleene
are Dense.  (pages 42--195)Theodore A. Slaman
Major subsets and the lattice of recursively enumerable sets.  (pages 107)Michael Stob
Recursivity and capacity theory.  (pages 285--301)Alain Louveau

Similar books and articles

Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.
Algebraic recursion theory.Ljubomir Lalov Ivanov - 1986 - New York: Halsted Press.
Higher recursion theory.Gerald E. Sacks - 1990 - New York, NY, USA: Cambridge University Press.
Generalized recursion theory.Jens Erik Fenstad & Peter G. Hinman (eds.) - 1974 - New York,: American Elsevier Pub. Co..
Tabular degrees in \Ga-recursion theory.Colin Bailey & Rod Downey - 1992 - Annals of Pure and Applied Logic 55 (3):205-236.
Techniques of admissible recursion theory.C.-T. Chong - 1984 - New York: Springer Verlag.
Recursion Theory and Complexity.M. M. Arslanov & Steffen Lempp - 2002 - Studia Logica 71 (1):145-145.
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.
Models for recursion theory.Johan Moldestad & Dag Normann - 1976 - Journal of Symbolic Logic 41 (4):719-729.
β-Recursion Theory.Sy D. Friedman - 1981 - Journal of Symbolic Logic 46 (3):664-665.

Analytics

Added to PP
2009-01-28

Downloads
35 (#720,799)

6 months
1 (#1,597,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.
Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.Richard A. Shore - 1997 - Archive for Mathematical Logic 36 (4-5):233-253.
Automorphisms and Recursive Structures.R. G. Downey & J. B. Remmel - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):339-345.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references