Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-18T08:10:49.378Z Has data issue: false hasContentIssue false

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

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Reviews
Copyright
Copyright © Association for Symbolic Logic 1999

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)