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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,326

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.
Models for recursion theory.Johan Moldestad & Dag Normann - 1976 - Journal of Symbolic Logic 41 (4):719-729.
Algebraic Recursion Theory.Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.

Analytics

Added to PP
2009-01-28

Downloads
34 (#531,494)

6 months
5 (#1,303,461)

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