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

Call number

QA9.6.R4 1985

ISBN(s)

0821814478
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,441

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

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

Similar books and articles

Recursion on the countable functionals.Dag Normann - 1980 - New York: Springer Verlag.
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.
Contributions to [alpha]- and [beta]-recursion theory.Wolfgang Maass - 1978 - München: Minerva-Publikation.
Axiomatic recursion theory and the continuous functionals.Simon Thompson - 1985 - Journal of Symbolic Logic 50 (2):442-450.
Techniques of admissible recursion theory.C.-T. Chong - 1984 - New York: Springer Verlag.
Recursion theory and complexity: proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997.Marat Mirzaevich Arslanov & Steffen Lempp (eds.) - 1999 - New York: W. de Gruyter.
Algebraic recursion theory.Ljubomir Lalov Ivanov - 1986 - New York: Halsted Press.
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.

Analytics

Added to PP
2009-01-28

Downloads
28 (#468,403)

6 months
1 (#869,379)

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