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

The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter Princeton Annals of Mathematics eBook-Package 1940-2020
VerfasserIn:
Place / Publishing House:Princeton, NJ : : Princeton University Press, , [2016]
©1964
Year of Publication:2016
Language:English
Series:Annals of Mathematics Studies ; 55
Online Access:
Physical Description:1 online resource (192 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 06000nam a22016455i 4500
001 9781400881840
003 DE-B1597
005 20220131112047.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 220131t20161964nju fo d z eng d
020 |a 9781400881840 
024 7 |a 10.1515/9781400881840  |2 doi 
035 |a (DE-B1597)467994 
035 |a (OCoLC)979579085 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a eng 
044 |a nju  |c US-NJ 
050 4 |a QA248.5 
072 7 |a MAT007000  |2 bisacsh 
082 0 4 |a 517.5 
100 1 |a Sacks, Gerald E.,   |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Degrees of Unsolvability. (AM-55), Volume 55 /  |c Gerald E. Sacks. 
264 1 |a Princeton, NJ :   |b Princeton University Press,   |c [2016] 
264 4 |c ©1964 
300 |a 1 online resource (192 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 0 |a Annals of Mathematics Studies ;  |v 55 
505 0 0 |t Frontmatter --   |t Preface to revised edition --   |t Contents --   |t §1. Preliminaries --   |t §2 . A Continuum of Mutually Incomparable Degrees --   |t §3. Uncountable Suborderings of Degrees --   |t §4. The Priority Method Of Friedberg and Muchnik --   |t §5. An Existence Theorem For Recursively Enumerable Degrees --   |t §6 . The Jump Operator --   |t §7. An Interpolation Theorem for Recursively Enumerable Degrees --   |t §8. Minimal Upper Bounds for Sequences of Degrees --   |t §9. Minimal Degrees --   |t §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments --   |t §11. Initial Segments of Degrees --   |t §12. Further Results and Conjectures --   |t Bibliography 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |a The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming. 
530 |a Issued also in print. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In English. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 31. Jan 2022) 
650 0 |a Recursive functions. 
650 0 |a Unsolvability (Mathematical logic). 
650 7 |a MATHEMATICS / Differential Equations / General.  |2 bisacsh 
653 |a Addition. 
653 |a Aleph number. 
653 |a Algebraic topology. 
653 |a Approximation. 
653 |a Arithmetic function. 
653 |a Arithmetical set. 
653 |a Axiom of choice. 
653 |a Baire category theorem. 
653 |a Cardinality of the continuum. 
653 |a Cardinality. 
653 |a Cartesian product. 
653 |a Category theory. 
653 |a Commutative property. 
653 |a Conjecture. 
653 |a Continuum hypothesis. 
653 |a Contradiction. 
653 |a Corollary. 
653 |a Countable set. 
653 |a Disjoint union. 
653 |a Effective method. 
653 |a Empty set. 
653 |a Enumeration. 
653 |a Equation. 
653 |a Existence theorem. 
653 |a Existential quantification. 
653 |a Finite set. 
653 |a Fixed-point theorem. 
653 |a Fourier analysis. 
653 |a Fubini's theorem. 
653 |a Gödel numbering. 
653 |a Identity function. 
653 |a Inequality (mathematics). 
653 |a Infimum and supremum. 
653 |a Integer. 
653 |a Lebesgue measure. 
653 |a Limit of a sequence. 
653 |a Limit point. 
653 |a Mathematical induction. 
653 |a Mathematics. 
653 |a Mean of a function. 
653 |a Measure (mathematics). 
653 |a Metric space. 
653 |a Monotonic function. 
653 |a Mostowski. 
653 |a Mutual exclusivity. 
653 |a Natural number. 
653 |a Null set. 
653 |a Open set. 
653 |a Partial function. 
653 |a Partially ordered set. 
653 |a Predicate (mathematical logic). 
653 |a Product measure. 
653 |a Product topology. 
653 |a Real number. 
653 |a Recursion. 
653 |a Recursive set. 
653 |a Recursively enumerable set. 
653 |a Reductio ad absurdum. 
653 |a Regular space. 
653 |a Requirement. 
653 |a Scientific notation. 
653 |a Sequence. 
653 |a Set (mathematics). 
653 |a Simultaneous equations. 
653 |a Subset. 
653 |a Theorem. 
653 |a Topology. 
653 |a Transfinite induction. 
653 |a Tychonoff's theorem. 
653 |a Uncountable set. 
653 |a Union (set theory). 
653 |a Upper and lower bounds. 
653 |a Variable (mathematics). 
653 |a W0. 
653 |a Well-order. 
653 |a Without loss of generality. 
653 |a Zorn's lemma. 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t Princeton Annals of Mathematics eBook-Package 1940-2020  |z 9783110494914  |o ZDB-23-PMB 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t Princeton University Press eBook-Package Archive 1927-1999  |z 9783110442496 
776 0 |c print  |z 9780691079417 
856 4 0 |u https://doi.org/10.1515/9781400881840 
856 4 0 |u https://www.degruyter.com/isbn/9781400881840 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9781400881840/original 
912 |a 978-3-11-044249-6 Princeton University Press eBook-Package Archive 1927-1999  |c 1927  |d 1999 
912 |a EBA_BACKALL 
912 |a EBA_CL_MTPY 
912 |a EBA_EBACKALL 
912 |a EBA_EBKALL 
912 |a EBA_ECL_MTPY 
912 |a EBA_EEBKALL 
912 |a EBA_ESTMALL 
912 |a EBA_PPALL 
912 |a EBA_STMALL 
912 |a GBV-deGruyter-alles 
912 |a PDA12STME 
912 |a PDA13ENGE 
912 |a PDA18STMEE 
912 |a PDA5EBK 
912 |a ZDB-23-PMB  |c 1940  |d 2020