Techniques of Admissible Recursion Theory
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in mathematics
1106 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Techniques of admissible recursion theory, C. T. Chong, 1984, Berlin [etc.], Springer-Verlag, 1 volume (VII-214 pages), Lecture notes in mathematics, 3-540-13902-8 • Techniques of Admissible Recursion Theory, Texte imprimé, 9783662191125 |
Tabl Cynhwysion:
- 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.