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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, United Kingdom :
Cambridge University Press,
[2016]
|
| Schriftenreihe: | Perspectives in mathematical logic.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource : illustrations. |
| Bibliographie: | Includes bibliographical references and indexes. |
| ISBN: | 9781316754795 1316754790 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn982287931 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170413s2016 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d YDX |d OCLCF |d U3W |d COO |d UKAHL |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ |d SFB |d OCLCQ | ||
| 019 | |a 982631146 |a 982896729 |a 983169687 |a 983431301 |a 983533670 | ||
| 020 | |a 9781316754795 |q (electronic bk.) | ||
| 020 | |a 1316754790 |q (electronic bk.) | ||
| 035 | |a (OCoLC)982287931 |z (OCoLC)982631146 |z (OCoLC)982896729 |z (OCoLC)983169687 |z (OCoLC)983431301 |z (OCoLC)983533670 | ||
| 050 | 4 | |a QA9.63 |b .L47 2016 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Lerman, M. |q (Manuel), |d 1943- |e author. |1 https://id.oclc.org/worldcat/entity/E39PCjJT9GKc3D38tWPqhqTkcP |0 http://id.loc.gov/authorities/names/n81034869 | |
| 245 | 1 | 0 | |a Degrees of unsolvability : |b local and global theory / |c Manuel Lerman. |
| 264 | 1 | |a Cambridge, United Kingdom : |b Cambridge University Press, |c [2016] | |
| 264 | 4 | |c ©2016 | |
| 300 | |a 1 online resource : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Perspectives in mathematical logic | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed April 18, 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 | 0 | |a Unsolvability (Mathematical logic) |0 http://id.loc.gov/authorities/subjects/sh85141199 | |
| 650 | 6 | |a Non-résolubilité (Logique mathématique) | |
| 650 | 7 | |a MATHEMATICS / General |2 bisacsh | |
| 650 | 7 | |a Unsolvability (Mathematical logic) |2 fast | |
| 758 | |i has work: |a Degrees of unsolvability (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGjXpTCjKpk7FtKqwgMYrm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 830 | 0 | |a Perspectives in mathematical logic. |0 http://id.loc.gov/authorities/names/n42036679 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475800 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32658268 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH32588635 | ||
| 938 | |a EBSCOhost |b EBSC |n 1475800 | ||
| 938 | |a YBP Library Services |b YANK |n 14007745 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn982287931 |
|---|---|
| _version_ | 1816882385911808000 |
| adam_text | |
| any_adam_object | |
| author | Lerman, M. (Manuel), 1943- |
| author_GND | http://id.loc.gov/authorities/names/n81034869 |
| author_facet | Lerman, M. (Manuel), 1943- |
| author_role | aut |
| author_sort | Lerman, M. 1943- |
| author_variant | m l ml |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.63 .L47 2016 |
| callnumber-search | QA9.63 .L47 2016 |
| callnumber-sort | QA 19.63 L47 42016 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)982287931 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03325cam a2200493 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982287931</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">170413s2016 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">N$T</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCF</subfield><subfield code="d">U3W</subfield><subfield code="d">COO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">982631146</subfield><subfield code="a">982896729</subfield><subfield code="a">983169687</subfield><subfield code="a">983431301</subfield><subfield code="a">983533670</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316754795</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316754790</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982287931</subfield><subfield code="z">(OCoLC)982631146</subfield><subfield code="z">(OCoLC)982896729</subfield><subfield code="z">(OCoLC)983169687</subfield><subfield code="z">(OCoLC)983431301</subfield><subfield code="z">(OCoLC)983533670</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.63</subfield><subfield code="b">.L47 2016</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lerman, M.</subfield><subfield code="q">(Manuel),</subfield><subfield code="d">1943-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjJT9GKc3D38tWPqhqTkcP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n81034869</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, United Kingdom :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Perspectives in mathematical logic</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Online resource; title from PDF title page (EBSCO, viewed April 18, 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="0"><subfield code="a">Unsolvability (Mathematical logic)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85141199</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Non-résolubilité (Logique mathématique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Unsolvability (Mathematical logic)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Degrees of unsolvability (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGjXpTCjKpk7FtKqwgMYrm</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Perspectives in mathematical logic.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42036679</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475800</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32658268</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH32588635</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1475800</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">14007745</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn982287931 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:27:47Z |
| institution | BVB |
| isbn | 9781316754795 1316754790 |
| language | English |
| oclc_num | 982287931 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource : illustrations. |
| psigel | ZDB-4-EBA |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Perspectives in mathematical logic. |
| series2 | Perspectives in mathematical logic |
| spelling | Lerman, M. (Manuel), 1943- author. https://id.oclc.org/worldcat/entity/E39PCjJT9GKc3D38tWPqhqTkcP http://id.loc.gov/authorities/names/n81034869 Degrees of unsolvability : local and global theory / Manuel Lerman. Cambridge, United Kingdom : Cambridge University Press, [2016] ©2016 1 online resource : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier Perspectives in mathematical logic Includes bibliographical references and indexes. Online resource; title from PDF title page (EBSCO, viewed April 18, 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) http://id.loc.gov/authorities/subjects/sh85141199 Non-résolubilité (Logique mathématique) MATHEMATICS / General bisacsh Unsolvability (Mathematical logic) fast has work: Degrees of unsolvability (Text) https://id.oclc.org/worldcat/entity/E39PCGjXpTCjKpk7FtKqwgMYrm https://id.oclc.org/worldcat/ontology/hasWork Perspectives in mathematical logic. http://id.loc.gov/authorities/names/n42036679 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475800 Volltext |
| spellingShingle | Lerman, M. (Manuel), 1943- Degrees of unsolvability : local and global theory / Perspectives in mathematical logic. Unsolvability (Mathematical logic) http://id.loc.gov/authorities/subjects/sh85141199 Non-résolubilité (Logique mathématique) MATHEMATICS / General bisacsh Unsolvability (Mathematical logic) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85141199 |
| 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) http://id.loc.gov/authorities/subjects/sh85141199 Non-résolubilité (Logique mathématique) MATHEMATICS / General bisacsh Unsolvability (Mathematical logic) fast |
| topic_facet | Unsolvability (Mathematical logic) Non-résolubilité (Logique mathématique) MATHEMATICS / General |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475800 |
| work_keys_str_mv | AT lermanm degreesofunsolvabilitylocalandglobaltheory |