Degrees of unsolvability: local and global theory
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspe...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2016
|
| Series: | Perspectives in logic
|
| Subjects: | |
| Online Access: | BSB01 FHN01 Volltext |
| Summary: | Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results |
| Item Description: | Title from publisher's bibliographic system (viewed on 18 Apr 2017) |
| Physical Description: | 1 online resource (xiii, 307 pages) |
| ISBN: | 9781316717059 |
| DOI: | 10.1017/9781316717059 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044312028 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170516s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316717059 |9 978-1-316-71705-9 | ||
| 024 | 7 | |a 10.1017/9781316717059 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316717059 | ||
| 035 | |a (OCoLC)992543975 | ||
| 035 | |a (DE-599)BVBBV044312028 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3 | |
| 100 | 1 | |a Lerman, M. (Manuel) |d 1943- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Degrees of unsolvability |b local and global theory |c Manuel Lerman |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (xiii, 307 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Perspectives in logic | |
| 500 | |a Title from publisher's bibliographic system (viewed on 18 Apr 2017) | ||
| 520 | |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results | ||
| 650 | 4 | |a Unsolvability (Mathematical logic) | |
| 650 | 0 | 7 | |a Rekursivität |0 (DE-588)4443996-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Unlösbarkeit |0 (DE-588)4426195-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Rekursivität |0 (DE-588)4443996-9 |D s |
| 689 | 0 | 1 | |a Unlösbarkeit |0 (DE-588)4426195-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardback |z 978-1-107-16813-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316717059 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029715664 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/9781316717059 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316717059 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804177524392984576 |
|---|---|
| any_adam_object | |
| author | Lerman, M. (Manuel) 1943- |
| author_facet | Lerman, M. (Manuel) 1943- |
| author_role | aut |
| author_sort | Lerman, M. (Manuel) 1943- |
| author_variant | m m l mm mml |
| building | Verbundindex |
| bvnumber | BV044312028 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316717059 (OCoLC)992543975 (DE-599)BVBBV044312028 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/9781316717059 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02783nmm a2200469zc 4500</leader><controlfield tag="001">BV044312028</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170516s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316717059</subfield><subfield code="9">978-1-316-71705-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316717059</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316717059</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992543975</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044312028</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lerman, M. (Manuel)</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Degrees of unsolvability</subfield><subfield code="b">local and global theory</subfield><subfield code="c">Manuel Lerman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 307 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Perspectives in logic</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 18 Apr 2017)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Unsolvability (Mathematical logic)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekursivität</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Rekursivität</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, hardback</subfield><subfield code="z">978-1-107-16813-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316717059</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029715664</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316717059</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316717059</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044312028 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:49:27Z |
| institution | BVB |
| isbn | 9781316717059 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029715664 |
| oclc_num | 992543975 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xiii, 307 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Perspectives in logic |
| spelling | Lerman, M. (Manuel) 1943- Verfasser aut Degrees of unsolvability local and global theory Manuel Lerman Cambridge Cambridge University Press 2016 1 online resource (xiii, 307 pages) txt rdacontent c rdamedia cr rdacarrier Perspectives in logic Title from publisher's bibliographic system (viewed on 18 Apr 2017) Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results Unsolvability (Mathematical logic) Rekursivität (DE-588)4443996-9 gnd rswk-swf Unlösbarkeit (DE-588)4426195-0 gnd rswk-swf Rekursivität (DE-588)4443996-9 s Unlösbarkeit (DE-588)4426195-0 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, hardback 978-1-107-16813-8 https://doi.org/10.1017/9781316717059 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Lerman, M. (Manuel) 1943- Degrees of unsolvability local and global theory Unsolvability (Mathematical logic) Rekursivität (DE-588)4443996-9 gnd Unlösbarkeit (DE-588)4426195-0 gnd |
| subject_GND | (DE-588)4443996-9 (DE-588)4426195-0 |
| title | Degrees of unsolvability local and global theory |
| title_auth | Degrees of unsolvability local and global theory |
| title_exact_search | Degrees of unsolvability local and global theory |
| title_full | Degrees of unsolvability local and global theory Manuel Lerman |
| title_fullStr | Degrees of unsolvability local and global theory Manuel Lerman |
| title_full_unstemmed | Degrees of unsolvability local and global theory Manuel Lerman |
| title_short | Degrees of unsolvability |
| title_sort | degrees of unsolvability local and global theory |
| title_sub | local and global theory |
| topic | Unsolvability (Mathematical logic) Rekursivität (DE-588)4443996-9 gnd Unlösbarkeit (DE-588)4426195-0 gnd |
| topic_facet | Unsolvability (Mathematical logic) Rekursivität Unlösbarkeit |
| url | https://doi.org/10.1017/9781316717059 |
| work_keys_str_mv | AT lermanmmanuel degreesofunsolvabilitylocalandglobaltheory |