| 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