Degrees of unsolvability:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Princeton, NJ
Princeton Univ. Press
1966
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Annals of mathematics studies
55 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 174 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002900253 | ||
| 003 | DE-604 | ||
| 005 | 20190820 | ||
| 007 | t | ||
| 008 | 900725s1966 |||| 00||| eng d | ||
| 035 | |a (OCoLC)400090 | ||
| 035 | |a (DE-599)BVBBV002900253 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-91G |a DE-739 |a DE-355 |a DE-824 |a DE-20 |a DE-703 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA248.5 | |
| 082 | 0 | |a 517.5 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SI 830 |0 (DE-625)143195: |2 rvk | ||
| 100 | 1 | |a Sacks, Gerald E. |d 1933-2019 |e Verfasser |0 (DE-588)128780770 |4 aut | |
| 245 | 1 | 0 | |a Degrees of unsolvability |c by Gerald E. Sacks |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Princeton, NJ |b Princeton Univ. Press |c 1966 | |
| 300 | |a IX, 174 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Annals of mathematics studies |v 55 | |
| 650 | 7 | |a Fonctions récursives |2 ram | |
| 650 | 7 | |a Non-résolubilité (logique mathématique) |2 ram | |
| 650 | 7 | |a Récursivité, Théorie de la |2 ram | |
| 650 | 4 | |a Recursive functions | |
| 650 | 0 | 7 | |a Unlösbarkeit |0 (DE-588)4426195-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursive Funktion |0 (DE-588)4138367-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Unlösbarkeit |0 (DE-588)4426195-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Rekursive Funktion |0 (DE-588)4138367-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-1-4008-8184-0 |
| 830 | 0 | |a Annals of mathematics studies |v 55 |w (DE-604)BV000000991 |9 55 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nvmb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001816226 | ||
Datensatz im Suchindex
| _version_ | 1804117195665440768 |
|---|---|
| adam_text | CONTENTS
§1 . Preliminaries 1
§2. A Continuum of Mutually Incomparable Degrees 7
§3. Uncountable Suborderings of Degrees 21
§k. The Priority Method of Friedberg and Muchnik 43
§5. An Existence Theorem for Recursively Enumerable Degrees .... 55
§6. The Jump Operator 77
§7. An Interpolation Theorem for Recursively Enumerable Degrees . .117
§8. Minimal Upper Bounds for Sequences of Degrees 123
§9. Minimal Degrees 135
§10. Measure theoretic, Category and Descriptive Set theoretic
Arguments 153
§11. Initial segments of Degrees 163
§12. Further Results and Conjectures 169
BIBLIOGRAPHY 173
ix
|
| any_adam_object | 1 |
| author | Sacks, Gerald E. 1933-2019 |
| author_GND | (DE-588)128780770 |
| author_facet | Sacks, Gerald E. 1933-2019 |
| author_role | aut |
| author_sort | Sacks, Gerald E. 1933-2019 |
| author_variant | g e s ge ges |
| building | Verbundindex |
| bvnumber | BV002900253 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248.5 |
| callnumber-search | QA248.5 |
| callnumber-sort | QA 3248.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SI 830 |
| ctrlnum | (OCoLC)400090 (DE-599)BVBBV002900253 |
| dewey-full | 517.5 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 517 - [Unassigned] |
| dewey-raw | 517.5 |
| dewey-search | 517.5 |
| dewey-sort | 3517.5 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01851nam a2200481 cb4500</leader><controlfield tag="001">BV002900253</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190820 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900725s1966 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)400090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002900253</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">517.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 830</subfield><subfield code="0">(DE-625)143195:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sacks, Gerald E.</subfield><subfield code="d">1933-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128780770</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Degrees of unsolvability</subfield><subfield code="c">by Gerald E. Sacks</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton Univ. Press</subfield><subfield code="c">1966</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 174 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Annals of mathematics studies</subfield><subfield code="v">55</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fonctions récursives</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Non-résolubilité (logique mathématique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Récursivité, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursive functions</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unlösbarkeit</subfield><subfield code="0">(DE-588)4426195-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Unlösbarkeit</subfield><subfield code="0">(DE-588)4426195-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Rekursive Funktion</subfield><subfield code="0">(DE-588)4138367-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-4008-8184-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Annals of mathematics studies</subfield><subfield code="v">55</subfield><subfield code="w">(DE-604)BV000000991</subfield><subfield code="9">55</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nvmb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001816226</subfield></datafield></record></collection> |
| id | DE-604.BV002900253 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:50:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001816226 |
| oclc_num | 400090 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-824 DE-20 DE-703 DE-83 DE-188 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-824 DE-20 DE-703 DE-83 DE-188 |
| physical | IX, 174 S. |
| psigel | TUB-nvmb |
| publishDate | 1966 |
| publishDateSearch | 1966 |
| publishDateSort | 1966 |
| publisher | Princeton Univ. Press |
| record_format | marc |
| series | Annals of mathematics studies |
| series2 | Annals of mathematics studies |
| spelling | Sacks, Gerald E. 1933-2019 Verfasser (DE-588)128780770 aut Degrees of unsolvability by Gerald E. Sacks 2. ed. Princeton, NJ Princeton Univ. Press 1966 IX, 174 S. txt rdacontent n rdamedia nc rdacarrier Annals of mathematics studies 55 Fonctions récursives ram Non-résolubilité (logique mathématique) ram Récursivité, Théorie de la ram Recursive functions Unlösbarkeit (DE-588)4426195-0 gnd rswk-swf Rekursive Funktion (DE-588)4138367-9 gnd rswk-swf Unlösbarkeit (DE-588)4426195-0 s DE-604 Rekursive Funktion (DE-588)4138367-9 s Erscheint auch als Online-Ausgabe 978-1-4008-8184-0 Annals of mathematics studies 55 (DE-604)BV000000991 55 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sacks, Gerald E. 1933-2019 Degrees of unsolvability Annals of mathematics studies Fonctions récursives ram Non-résolubilité (logique mathématique) ram Récursivité, Théorie de la ram Recursive functions Unlösbarkeit (DE-588)4426195-0 gnd Rekursive Funktion (DE-588)4138367-9 gnd |
| subject_GND | (DE-588)4426195-0 (DE-588)4138367-9 |
| title | Degrees of unsolvability |
| title_auth | Degrees of unsolvability |
| title_exact_search | Degrees of unsolvability |
| title_full | Degrees of unsolvability by Gerald E. Sacks |
| title_fullStr | Degrees of unsolvability by Gerald E. Sacks |
| title_full_unstemmed | Degrees of unsolvability by Gerald E. Sacks |
| title_short | Degrees of unsolvability |
| title_sort | degrees of unsolvability |
| topic | Fonctions récursives ram Non-résolubilité (logique mathématique) ram Récursivité, Théorie de la ram Recursive functions Unlösbarkeit (DE-588)4426195-0 gnd Rekursive Funktion (DE-588)4138367-9 gnd |
| topic_facet | Fonctions récursives Non-résolubilité (logique mathématique) Récursivité, Théorie de la Recursive functions Unlösbarkeit Rekursive Funktion |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001816226&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000991 |
| work_keys_str_mv | AT sacksgeralde degreesofunsolvability |