Vai al contenuto principale della pagina
| Autore: |
Sacks Gerald E.
|
| Titolo: |
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks
|
| Pubblicazione: | Princeton, NJ : , : Princeton University Press, , [2016] |
| ©1964 | |
| Edizione: | Second edition. |
| Descrizione fisica: | 1 online resource (189 pages) |
| Disciplina: | 517.5 |
| Soggetto topico: | Recursive functions |
| Unsolvability (Mathematical logic) | |
| Nota di bibliografia: | Includes bibliographical references. |
| Nota di contenuto: | Frontmatter -- Preface to revised edition -- Contents -- §1. Preliminaries -- §2 . A Continuum of Mutually Incomparable Degrees -- §3. Uncountable Suborderings of Degrees -- §4. The Priority Method Of Friedberg and Muchnik -- §5. An Existence Theorem For Recursively Enumerable Degrees -- §6 . The Jump Operator -- §7. An Interpolation Theorem for Recursively Enumerable Degrees -- §8. Minimal Upper Bounds for Sequences of Degrees -- §9. Minimal Degrees -- §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments -- §11. Initial Segments of Degrees -- §12. Further Results and Conjectures -- Bibliography |
| Sommario/riassunto: | The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming. |
| Titolo autorizzato: | Degrees of Unsolvability. (AM-55), Volume 55 ![]() |
| ISBN: | 9781400881840 |
| 1400881846 | |
| Formato: | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910154752603321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |