Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783540391210
- 511.3 23
- QA8.9-10.3
Contents:
In:
Springer eBooks
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.
No physical items for this record
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.
There are no comments on this title.