Author | Chong, Chi-Tat. author |
---|---|
Title | Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong |
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1984 |
Connect to | http://dx.doi.org/10.1007/BFb0099164 |
Descript | XII, 220 p. online resource |
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