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ă
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