Vai al contenuto principale della pagina
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 |