zbMATH — the first resource for mathematics

Computability, enumerability, unsolvability. Directions in recursion theory. (English) Zbl 0830.00006
London Mathematical Society Lecture Note Series 224. Cambridge: Cambridge University Press. vii, 347 p. (1996).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Ambos-Spies, Klaus, Resource-bounded genericity, 1-59 [Zbl 0844.03022]
Arslanov, Marat M.; Lempp, Steffen; Shore, Richard A., On isolating r.e. and isolated d-r.e. degrees, 61-80 [Zbl 0839.03024]
Cooper, S. Barry, A characterisation of the jumps of minimal degrees below 0\({\mathbf '}\), 81-92 [Zbl 0839.03025]
Downey, Rod; Jockusch, Carl G.; Stob, Michael, Array nonrecursive degrees and genericity, 93-104 [Zbl 0849.03029]
Harrington, Leo; Soare, Robert I., Dynamic properties of computably enumerable sets, 105-121 [Zbl 0846.03015]
Heaton, Andrew J.; Wainer, Stanley S., Axioms for subrecursion theories, 123-138 [Zbl 0845.03022]
Herrmann, Eberhard, On the \(\forall \exists\)-theory of the factor lattice by the major subset relation, 139-166 [Zbl 0847.03020]
Kumabe, Masahiro, Degrees of generic sets, 167-183 [Zbl 0839.03026]
Lerman, Manuel, Embeddings into the recursively enumerable degrees, 185-204 [Zbl 0849.03032]
Mytilinaios, Michael E.; Slaman, Theodore A., On a question of Brown and Simpson, 205-218 [Zbl 0835.03026]
Nies, André, Relativization of structures arising from computability theory, 219-232 [Zbl 0838.03033]
Normann, Dag, A hierarchy of domains with totality, but without density, 233-257 [Zbl 0840.03032]
Odifreddi, Piergiorgio, Inductive inference of total functions, 259-288 [Zbl 0847.03021]
Sorbi, Andrea, The Medvedev lattice of degrees of difficulty, 289-312 [Zbl 0849.03033]
Yi, Xiaoding, Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees, 313-331 [Zbl 0838.03034]
Appendix: Questions in recursion theory, 333-347 [Zbl 0834.03012]

00B15 Collections of articles of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations