Book contents
- Frontmatter
- Contents
- Preface
- Resource bounded genericity
- On isolating r.e. and isolated d-r.e. degrees
- A characterisation of the jumps of minimal degrees below 0′
- Array nonrecursive degrees and genericity
- Dynamic properties of computably enumerable sets
- Axioms for subrecursion theories
- On the ∀ ∃ - theory of the factor lattice by the major subset relation
- Degrees of generic sets
- Embeddings into the recursively enumerable degrees
- On a question of Brown and Simpson
- Relativization of structures arising from computability theory
- A Hierarchy of domains with totality, but without density
- Inductive inference of total functions
- The Medvedev lattice of degrees of difficulty
- Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees
- APPENDIX: Questions in Recursion Theory
Array nonrecursive degrees and genericity
Published online by Cambridge University Press: 23 February 2010
- Frontmatter
- Contents
- Preface
- Resource bounded genericity
- On isolating r.e. and isolated d-r.e. degrees
- A characterisation of the jumps of minimal degrees below 0′
- Array nonrecursive degrees and genericity
- Dynamic properties of computably enumerable sets
- Axioms for subrecursion theories
- On the ∀ ∃ - theory of the factor lattice by the major subset relation
- Degrees of generic sets
- Embeddings into the recursively enumerable degrees
- On a question of Brown and Simpson
- Relativization of structures arising from computability theory
- A Hierarchy of domains with totality, but without density
- Inductive inference of total functions
- The Medvedev lattice of degrees of difficulty
- Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees
- APPENDIX: Questions in Recursion Theory
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9780511629167/resource/name/firstPage-9780511629167c4_p93-104_CBO.jpg)
- Type
- Chapter
- Information
- Computability, Enumerability, UnsolvabilityDirections in Recursion Theory, pp. 93 - 104Publisher: Cambridge University PressPrint publication year: 1996
- 35
- Cited by