Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984: 1141 - Brossura

Brossura

ISBN 10: 3540156739 ISBN 13: 9783540156734

Casa editrice: Springer, 2009

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2009
• Lingua: Inglese
• ISBN 10: 3540156739
• ISBN 13: 9783540156734
• Rilegatura: Copertina flessibile
• Numero di pagine: 432
• Redattore: Ebbinghaus Heinz-Dieter
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania