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 552787591UNINA01687nam0 22003971i 450 UON0047306420231205105214.51788-8098-179-X20170123d2003 |0itac50 baitaIT|||| 1||||Studi in onore di Franco FerreroA cura di Piero Cosi, Emanuela Magno Caldognetto, Alberto ZamboniPadovaUnipress ; RomaIstituto di scienze e tecnologie della cognizione, Sezione di fonetica e dialettologia2003xxx, 326 p.tav.24 cm.Titolo in copertina e sul dorsoUON00473326Dono del prof. PettorinoIT-UONSI PHONPHON/0596UON00473326Voce canto parlatoFONETICAStudiUONC062699FILinguisticaStudiUONC019051FIITRomaUONL000004ITPadovaUONL000153410Linguistica21414FONETICA21FERREROFrancoUONV121959COSIPieroUONV233818MAGNO CALDOGNETTOEmanuelaUONV131719ZAMBONIAlbertoUONV065623Istituto di scienze e tecnologie della cognizione, Sezione di fonetica e dialettologiaUONV282460650UnipressUONV252350650ITSOL20250606RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00473064SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI PHON 0596 SI 21054 7 0596 Dono del prof. PettorinoStudi in onore di Franco Ferrero747936UNIOR