Techniques of Admissible Recursion Theory (Lecture Notes in Mathematics, 1106)
Description
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.
Keywords
Science & MathMathematicsPure MathematicsSpecialty BoutiqueNew, Used & Rental Textbooks