Techniques of admissible recursion theory / / C. T. Chong
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Chong C.-T (Chi-Tat), <1949->
|
| Titolo: |
Techniques of admissible recursion theory / / C. T. Chong
|
| Pubblicazione: | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1984] |
| ©1984 | |
| Edizione: | 1st ed. 1984. |
| Descrizione fisica: | 1 online resource (XII, 220 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Logic, Symbolic and mathematical |
| Recursion theory | |
| Mathematics | |
| Classificazione: | 03D25 |
| 03D60 | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Techniques of admissible recursion theory |
| ISBN: | 3-540-39121-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466868403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 1106