وبلاگ بلیان

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics)

معرفی کتاب «Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics)» نوشتهٔ Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)، منتشرشده توسط نشر Springer-Verlag Berlin Heidelberg در سال 1141. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.

Edited By H.-d. Ebbinghaus, G.h. Müller, And G.e. Sacks. Includes Bibliographies. Generators of the recursively enumerable degrees....Pages 1-28 Kleene degrees of ultrafilters....Pages 29-48 Recursion theory on strongly Σ 2 inadmissible ordinals....Pages 49-64 Applications of the low-basis theorem in arithmetic....Pages 65-88 Strong reducibilities in α- and β-recursion theory....Pages 89-120 Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees....Pages 121-140 An immune partition of the ordinals....Pages 141-147 Probabilistic machines, oracles, and quantifiers....Pages 148-158 Minimal polynomial degrees of nonrecursive sets....Pages 159-192 Genericity for recursively enumerable sets....Pages 193-202 Sets of everywhere singular functions....Pages 203-232 On the ordering of classes in high/low hierarchies....Pages 233-244 Generic objects in recursion theory....Pages 245-259 The structure of m-degrees....Pages 260-270 Some open questions in recursion theory....Pages 271-314 Absolute type 2 objects....Pages 315-332 Recursion theoretic aspects of the dual ramsey theorem....Pages 333-342 Reflection and the priority method in E-recursion theory....Pages 343-356 Subrecursive ordinals....Pages 357-371 ....Pages 372-404
دانلود کتاب Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 (Lecture Notes in Mathematics)