Recursion Theory: A Generalized Point of View: de Gruyter Series in Logic and Its Applications, cartea 8
Autor Chi Tat Chong, Liang Yuen Electronic book text – 11 iun 2015
Preț: 626.22 lei
Preț vechi: 857.83 lei
-27% Precomandă
Puncte Express: 939
Nepublicat încă
Livrare prin curier în România Precomanda se expediază când titlul devine disponibil.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Specificații
ISBN-13: 9783110275643
ISBN-10: 3110275643
Pagini: 310
Ediția:
Editura: De Gruyter
Seria de Gruyter Series in Logic and Its Applications
Locul publicării:Berlin/Boston
ISBN-10: 3110275643
Pagini: 310
Ediția:
Editura: De Gruyter
Seria de Gruyter Series in Logic and Its Applications
Locul publicării:Berlin/Boston
Notă biografică
Chitat Chong, National University of Singapore; Liang Yu, Nanjing University, Jiangsu, China.
Cuprins
AD> Preliminaries
1. Π11-uniformization and Applications to Turing Degrees
2. Rigidity of Hyperdegrees
3. Basis Theorems and Π11-Hyperarithmetic
4. The Jump Operator
5. Independence Results in the Turing Degrees
6. Higher Randomness
References
Index
1. Π11-uniformization and Applications to Turing Degrees
2. Rigidity of Hyperdegrees
3. Basis Theorems and Π11-Hyperarithmetic
4. The Jump Operator
5. Independence Results in the Turing Degrees
6. Higher Randomness
References
Index