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:
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 |