Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks

• Autore: Sacks Gerald E.
• Pubblicazione: Princeton, NJ : , : Princeton University Press, , [2016]; ©1964
• Edizione: Second edition.
• Descrizione fisica: 1 online resource (189 pages)
• Disciplina: 517.5
• 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
• Nota di bibliografia: Includes bibliographical references.
• 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
• Sommario/riassunto: The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.
• Titolo autorizzato: Degrees of Unsolvability. (AM-55), Volume 55
• ISBN: 1-4008-8184-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910154752603321
• Lo trovi qui: Univ. Federico II
• Serie: Annals of mathematics studies ; ; Number 55.