04805nam 22014175 450 991015475260332120190708092533.01-4008-8184-610.1515/9781400881840(CKB)3710000000620144(MiAaPQ)EBC4738596(DE-B1597)467994(OCoLC)979579085(DE-B1597)9781400881840(EXLCZ)99371000000062014420190708d2016 fg engurcnu||||||||rdacontentrdamediardacarrierDegrees of Unsolvability. (AM-55), Volume 55 /Gerald E. SacksSecond edition.Princeton, NJ : Princeton University Press, [2016]©19641 online resource (189 pages)Annals of Mathematics Studies ;2480-691-07941-2 Includes bibliographical references.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 -- BibliographyThe description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.Annals of mathematics studies ;Number 55.Recursive functionsUnsolvability (Mathematical logic)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.Recursive functions.Unsolvability (Mathematical logic)517.5Sacks Gerald E., 50334DE-B1597DE-B1597BOOK9910154752603321Degrees of Unsolvability. (AM-55), Volume 552787591UNINA