Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
Author(s)
Bibliographic Information
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
（Lecture notes in mathematics, 1141）
Springer-Verlag, c1985
- : gw
- : us
Available at / 69 libraries
-
Library & Science Information Center, Osaka Prefecture University
: gwNDC8:410.8||||10009464962
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||11418510056S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw510/L4972021270711
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Description and Table of Contents
Table of Contents
Generators of the recursively enumerable degrees.- Kleene degrees of ultrafilters.- Recursion theory on strongly ?2 inadmissible ordinals.- Applications of the low-basis theorem in arithmetic.- Strong reducibilities in ?- and ?-recursion theory.- Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees.- An immune partition of the ordinals.- An application of ? 2 1 -logic to descriptive set theory.- Probabilistic machines, oracles, and quantifiers.- Minimal polynomial degrees of nonrecursive sets.- Genericity for recursively enumerable sets.- Sets of everywhere singular functions.- Measure, ? 1 0 -classes and complete extensions of PA.- On the ordering of classes in high/low hierarchies.- Generic objects in recursion theory.- The structure of m-degrees.- Some open questions in recursion theory.- Absolute type 2 objects.- Recursion theoretic aspects of the dual ramsey theorem.- Reflection and the priority method in E-recursion theory.- Subrecursive ordinals.
by "Nielsen BookData"
