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.
Degree spectra of relations on a cone / / Matthew Harrison-Trainor
| Degree spectra of relations on a cone / / Matthew Harrison-Trainor |
| Autore | Harrison-Trainor Matthew |
| Pubbl/distr/stampa | Providence, RI : , : American Mathematical Society, , [2018] |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Conic sections Angles (Geometry) - Measurement |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-4411-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480731103321 |
Harrison-Trainor Matthew
|
||
| Providence, RI : , : American Mathematical Society, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degree spectra of relations on a cone / / Matthew Harrison-Trainor
| Degree spectra of relations on a cone / / Matthew Harrison-Trainor |
| Autore | Harrison-Trainor Matthew |
| Pubbl/distr/stampa | Providence, RI : , : American Mathematical Society, , [2018] |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Conic sections Angles (Geometry) - Measurement |
| ISBN | 1-4704-4411-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910796842003321 |
|
Harrison-Trainor Matthew
|
||
| Providence, RI : , : American Mathematical Society, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degree spectra of relations on a cone / / Matthew Harrison-Trainor
| Degree spectra of relations on a cone / / Matthew Harrison-Trainor |
| Autore | Harrison-Trainor Matthew |
| Pubbl/distr/stampa | Providence, RI : , : American Mathematical Society, , [2018] |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 511.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Conic sections Angles (Geometry) - Measurement |
| ISBN | 1-4704-4411-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910828880703321 |
|
Harrison-Trainor Matthew
|
||
| Providence, RI : , : American Mathematical Society, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks
| Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks |
| Autore | Sacks Gerald E. |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (189 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Recursive functions
Unsolvability (Mathematical logic) |
| Soggetto non controllato |
Addition
Aleph number Algebraic topology Approximation Arithmetic function Arithmetical set Axiom of choice Baire category theorem Cardinality of the continuum Cardinality Cartesian product Category theory Commutative property Conjecture Continuum hypothesis Contradiction Corollary Countable set Disjoint union Effective method Empty set Enumeration Equation Existence theorem Existential quantification Finite set Fixed-point theorem Fourier analysis Fubini's theorem Gödel numbering Identity function Inequality (mathematics) Infimum and supremum Integer Lebesgue measure Limit of a sequence Limit point Mathematical induction Mathematics Mean of a function Measure (mathematics) Metric space Monotonic function Mostowski Mutual exclusivity Natural number Null set Open set Partial function Partially ordered set Predicate (mathematical logic) Product measure Product topology Real number Recursion Recursive set Recursively enumerable set Reductio ad absurdum Regular space Requirement Scientific notation Sequence Set (mathematics) Simultaneous equations Subset Theorem Topology Transfinite induction Tychonoff's theorem Uncountable set Union (set theory) Upper and lower bounds Variable (mathematics) W0 Well-order Without loss of generality Zorn's lemma |
| ISBN | 1-4008-8184-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910154752603321 |
|
Sacks Gerald E.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein
| Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein |
| Autore | Epstein Richard L. <1947-> |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , [1975] |
| Descrizione fisica | 1 online resource (147 p.) |
| Disciplina | 511/.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Recursive functions Constructive mathematics |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0644-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""ACKNOWLEDGEMENTS""; ""INTRODUCTION""; ""CHAPTER I: A MINIMAL DEGREE""; ""Functionals and Trees""; ""Splitting Trees and Computation Lemmas""; ""A Minimal Degree""; ""CHAPTER II: A MINIMAL DEGREE m < 0'""; ""Motivation""; ""Boundary Strings and Dummy Extensions""; ""Construction of m < 0'""; ""Proof""; ""T*[sub(e)]""; ""CHAPTER III: A MINIMAL DEGREE such that m' = 0'""; ""Motivation""; ""Construction of m = 0'""; ""Proof""; ""CHAPTER IV: MINIMAL DEGREES AND THE JUMP OPERATOR""; ""Motivation""; ""Further Topics and Remarks""; ""CHAPTER V: A MINIMAL DEGREE m < a r.e."" |
| Record Nr. | UNINA-9910480580303321 |
|
Epstein Richard L. <1947->
|
||
| Providence : , : American Mathematical Society, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein
| Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein |
| Autore | Epstein Richard L. <1947-> |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , [1975] |
| Descrizione fisica | 1 online resource (147 p.) |
| Disciplina | 511/.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Recursive functions Constructive mathematics |
| ISBN | 1-4704-0644-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""ACKNOWLEDGEMENTS""; ""INTRODUCTION""; ""CHAPTER I: A MINIMAL DEGREE""; ""Functionals and Trees""; ""Splitting Trees and Computation Lemmas""; ""A Minimal Degree""; ""CHAPTER II: A MINIMAL DEGREE m < 0'""; ""Motivation""; ""Boundary Strings and Dummy Extensions""; ""Construction of m < 0'""; ""Proof""; ""T*[sub(e)]""; ""CHAPTER III: A MINIMAL DEGREE such that m' = 0'""; ""Motivation""; ""Construction of m = 0'""; ""Proof""; ""CHAPTER IV: MINIMAL DEGREES AND THE JUMP OPERATOR""; ""Motivation""; ""Further Topics and Remarks""; ""CHAPTER V: A MINIMAL DEGREE m < a r.e."" |
| Record Nr. | UNINA-9910788606303321 |
|
Epstein Richard L. <1947->
|
||
| Providence : , : American Mathematical Society, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein
| Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein |
| Autore | Epstein Richard L. <1947-> |
| Pubbl/distr/stampa | Providence : , : American Mathematical Society, , [1975] |
| Descrizione fisica | 1 online resource (147 p.) |
| Disciplina | 511/.3 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Unsolvability (Mathematical logic)
Recursive functions Constructive mathematics |
| ISBN | 1-4704-0644-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ""TABLE OF CONTENTS""; ""ACKNOWLEDGEMENTS""; ""INTRODUCTION""; ""CHAPTER I: A MINIMAL DEGREE""; ""Functionals and Trees""; ""Splitting Trees and Computation Lemmas""; ""A Minimal Degree""; ""CHAPTER II: A MINIMAL DEGREE m < 0'""; ""Motivation""; ""Boundary Strings and Dummy Extensions""; ""Construction of m < 0'""; ""Proof""; ""T*[sub(e)]""; ""CHAPTER III: A MINIMAL DEGREE such that m' = 0'""; ""Motivation""; ""Construction of m = 0'""; ""Proof""; ""CHAPTER IV: MINIMAL DEGREES AND THE JUMP OPERATOR""; ""Motivation""; ""Further Topics and Remarks""; ""CHAPTER V: A MINIMAL DEGREE m < a r.e."" |
| Record Nr. | UNINA-9910818938703321 |
|
Epstein Richard L. <1947->
|
||
| Providence : , : American Mathematical Society, , [1975] | ||
| 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 | ||
| ||
