C. T. Chong

Techniques of Admissible Recursion Theory

• Broschiertes Buch

Produktbeschreibung

The jump operator and 1-generic sets.- The ?-finite injury method.- Maximal sets.- Major subsets.- Hyperhypersimple sets.- Minimal pairs.- The density theorem.- Trees.- Set-theoretic methods.

Produktdetails

• Lecture Notes in Mathematics 1106
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-13902-7
• 1984.
• Seitenzahl: 228
• Erscheinungstermin: 1. Dezember 1984
• Englisch
• Abmessung: 235mm x 155mm x 13mm
• Gewicht: 351g
• ISBN-13: 9783540139027
• ISBN-10: 3540139028
• Artikelnr.: 23794837

Inhaltsangabe

The jump operator and 1-generic sets.- The ?-finite injury method.- Maximal sets.- Major subsets.- Hyperhypersimple sets.- Minimal pairs.- The density theorem.- Trees.- Set-theoretic methods.