Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong.
Material type: TextSeries: Lecture Notes in Mathematics ; 1106Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984Description: XII, 220 p. online resourceContent type:- 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.