Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg
| The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg |
| Autore | Greenberg Noam <1974-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina |
510 s
511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursion theory
Recursively enumerable sets Finite, The |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0458-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910480516503321 |
Greenberg Noam <1974->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg
| The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg |
| Autore | Greenberg Noam <1974-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina |
510 s
511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursion theory
Recursively enumerable sets Finite, The |
| ISBN | 1-4704-0458-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910788741703321 |
|
Greenberg Noam <1974->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg
| The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg |
| Autore | Greenberg Noam <1974-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2006] |
| Descrizione fisica | 1 online resource (114 p.) |
| Disciplina |
510 s
511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursion theory
Recursively enumerable sets Finite, The |
| ISBN | 1-4704-0458-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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"" |
| Record Nr. | UNINA-9910817241903321 |
|
Greenberg Noam <1974->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2006] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||