Recursion on the countable functionals
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in mathematics
811 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Recursion on the countable functionals, Dag Normann, 1980, Berlin, Springer-Verlag, 1 volume (VIII-190 p.), Lecture notes in mathematics, 0-387-10019-9 • Recursion on the Countable Functionals, Texte imprimé, 9783662162057 |
Spis treści:
- The maximal type structure
- The countable functionals
- Ct(n) as a topological space
- Computability vs recursion
- The computable structure on Ct(k)
- Sections
- Some further results and topics.