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
Axioms for subrecursion theories
Published online by Cambridge University Press: 23 February 2010
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
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Computability, Enumerability, UnsolvabilityDirections in Recursion Theory, pp. 123 - 138Publisher: Cambridge University PressPrint publication year: 1996
- 4
- Cited by