Recursion theory week. Proceedings of a conference held in Oberwolfach, West Germany April 15-21, 1984.

Ebbinghaus, Heinz-Dieter:

ISBN 10: 3540156739 / ISBN 13: 9783540156734

Published by Berlin, Springer, 1985

About this Item

IX, 418 p. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-04406 3540156739 Sprache: Englisch Gewicht in Gramm: 1150.

Seller Inventory # 2490640

Bibliographic Details

• Title: Recursion theory week. Proceedings of a conference held in Oberwolfach, West Germany April 15-21, 1984.
• Publisher: Berlin, Springer
• Publication Date: 1985
• Language: English
• ISBN 10: 3540156739
• ISBN 13: 9783540156734
• Binding: Softcover
• Seller catalogs:
  • SA MATHEMATIK

About this title

Synopsis

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.