No CrossRef data available.
Article contents
Computability, enumerability, unsolvability, Directions in recursion theory, edited by S. B. Cooper, T. A. Slaman, and S. S. Wainer, London Mathematical Society lecture note series, no. 224, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, vii + 347 pp. - Leo Harrington and Robert I. Soare, Dynamic properties of computably enumerable sets, Pp. 105–121. - Eberhard Herrmann, On the ∀∃-theory of the factor lattice by the major subset relation, Pp. 139–166. - Manuel Lerman, Embeddings into the recursively enumerable degrees, Pp. 185–204. - Xiaoding Yi, Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees, Pp. 313–331. - André Nies, Relativization of structures arising from computability theory. Pp. 219–232. - Klaus Ambos-Spies, Resource-bounded genericity. Pp. 1–59. - Rod Downey, Carl G. Jockusch, and Michael Stob. Array nonrecursive degrees and genericity, Pp. 93–104. - Masahiro Kumabe, Degrees of generic sets, Pp. 167–183. - Marat M. Arslanov, Steffen Lempp, and Richard A. Shore, On isolating r.e. and isolated d-r.e. degrees, Pp. 61–80. - S. Barry Cooper, A characterisation of the jumps of minimal degrees below 0′, Pp. 81–92. - Michael E. Mytilinaios and Theodore A. Slaman, On a question of Brown and Simpson, Pp. 205–218. - Andrew J. Heaton and Stanley S. Wainer. Axioms for subrecursion theories, Pp. 123–138. - Dag Normann, A hierarchy of domains with totality, but without density, Pp. 233–257. - Piergiorgio Odifreddi, Inductive inference of total functions, Pp. 259–288. - Andrea Sorbi, The Medvedev lattice of degrees of difficulty, Pp. 289–312. - S. B. Cooper, T. A. Slaman, and S. S. Wainer, Appendix: questions in recursion theory, Pp. 333–347.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract 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
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999