The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Greenberg Noam <1974->
|
| Titolo: |
The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg
|
| Pubblicazione: | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| ©2006 | |
| Descrizione fisica: | 1 online resource (114 p.) |
| Disciplina: | 510 s |
| 511.3/5 | |
| Soggetto topico: | Recursion theory |
| Recursively enumerable sets | |
| Finite, The | |
| Note generali: | "Volume 181, number 854 (third of 5 numbers)." |
| Nota di bibliografia: | Includes bibliographical references. |
| Nota di contenuto: | ""Contents""; ""Chapter 1. Introduction""; ""1. The Results""; ""Chapter 2. Coding Into the R.E. Degrees""; ""1. The Coding""; ""2. A Template for the Constructions""; ""3. Various Constructions""; ""Chapter 3. Coding Effective Successor Models""; ""1. Construction""; ""2. Verifications""; ""Chapter 4. A Negative Result Concerning Effective Successor Models""; ""1. Preparation: Some Complexity Calculations""; ""2. More on Effective Models""; ""3. Examples of α and U""; ""Chapter 5. A Nonembedding Result""; ""Chapter 6. Embedding the 1-3-1 Lattice""; ""1. Preparation""; ""2. The Embedding"" |
| ""Appendix A. Basics""""Appendix B. The Jump""; ""Appendix C. The Projectum""; ""Appendix D. The Admissible Collapse""; ""Appendix E. Prompt Permission""; ""Bibliography"" | |
| Titolo autorizzato: | The role of true finiteness in the admissible recursively enumerable degrees |
| ISBN: | 1-4704-0458-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910788741703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Memoirs of the American Mathematical Society ; ; no. 854.