Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong.
Material type:
TextSeries: Lecture Notes in Mathematics ; 1106Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 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.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK992 |
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.
Log in to your account to post a comment.