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.
Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak |
| Autore | Cholak Peter <1962-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1995 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursively enumerable sets
Automorphisms Lattice theory |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0120-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" |
| Record Nr. | UNINA-9910480747203321 |
Cholak Peter <1962->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak |
| Autore | Cholak Peter <1962-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1995 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursively enumerable sets
Automorphisms Lattice theory |
| ISBN | 1-4704-0120-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" |
| Record Nr. | UNINA-9910788756403321 |
|
Cholak Peter <1962->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak
| Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak |
| Autore | Cholak Peter <1962-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 1995 |
| Descrizione fisica | 1 online resource (166 p.) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Recursively enumerable sets
Automorphisms Lattice theory |
| ISBN | 1-4704-0120-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography"" |
| Record Nr. | UNINA-9910829051803321 |
|
Cholak Peter <1962->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon
| Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon |
| Autore | Downey R. G (Rod G.) |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
| Descrizione fisica | 1 online resource (104 pages) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Recursively enumerable sets Computable functions |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-6136-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480828103321 |
|
Downey R. G (Rod G.)
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon
| Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon |
| Autore | Downey R. G (Rod G.) |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
| Descrizione fisica | 1 online resource (104 pages) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Recursively enumerable sets Computable functions |
| ISBN | 1-4704-6136-6 |
| Classificazione | 03D2503D2803D30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Informal construction -- Formal construction -- Limiting results. |
| Record Nr. | UNINA-9910794003503321 |
|
Downey R. G (Rod G.)
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon
| Minimal weak truth table degrees and computably enumerable Turing degrees / / Rodney G. Downey, Keng Meng Ng, Reed Solomon |
| Autore | Downey R. G (Rod G.) |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2020 |
| Descrizione fisica | 1 online resource (104 pages) |
| Disciplina | 511.3/5 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Recursively enumerable sets Computable functions |
| ISBN | 1-4704-6136-6 |
| Classificazione | 03D2503D2803D30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Informal construction -- Formal construction -- Limiting results. |
| Record Nr. | UNINA-9910812917203321 |
|
Downey R. G (Rod G.)
|
||
| Providence, Rhode Island : , : American Mathematical Society, , 2020 | ||
| 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 |
| 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 | ||
| ||
