Recursion-theoretic hierarchies:
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. The theory set out in this volume, the ninth publicati...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Perspectives in logic
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 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. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 18 Apr 2017) |
| Beschreibung: | 1 online resource (xii, 480 pages) |
| ISBN: | 9781316717110 |
| DOI: | 10.1017/9781316717110 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044311865 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170516s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316717110 |9 978-1-316-71711-0 | ||
| 024 | 7 | |a 10.1017/9781316717110 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316717110 | ||
| 035 | |a (OCoLC)992501453 | ||
| 035 | |a (DE-599)BVBBV044311865 | ||
| 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 Hinman, Peter G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Recursion-theoretic hierarchies |c Peter G. Hinman |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (xii, 480 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. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear | ||
| 650 | 4 | |a Recursion theory / Hierarchies | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursivität |0 (DE-588)4443996-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekursionstheorie |0 (DE-588)4122329-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Rekursivität |0 (DE-588)4443996-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Rekursionstheorie |0 (DE-588)4122329-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardback |z 978-1-107-16824-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316717110 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029715504 | ||
| 966 | e | |u https://doi.org/10.1017/9781316717110 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316717110 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177524081557504 |
|---|---|
| any_adam_object | |
| author | Hinman, Peter G. |
| author_facet | Hinman, Peter G. |
| author_role | aut |
| author_sort | Hinman, Peter G. |
| author_variant | p g h pg pgh |
| building | Verbundindex |
| bvnumber | BV044311865 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316717110 (OCoLC)992501453 (DE-599)BVBBV044311865 |
| 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 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/9781316717110 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02706nmm a2200505zc 4500</leader><controlfield tag="001">BV044311865</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">9781316717110</subfield><subfield code="9">978-1-316-71711-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316717110</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316717110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992501453</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044311865</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">Hinman, Peter G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Recursion-theoretic hierarchies</subfield><subfield code="c">Peter G. Hinman</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 (xii, 480 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. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Recursion theory / Hierarchies</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Rekursivität</subfield><subfield code="0">(DE-588)4443996-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Rekursionstheorie</subfield><subfield code="0">(DE-588)4122329-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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">Druck-Ausgabe, hardback</subfield><subfield code="z">978-1-107-16824-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316717110</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-029715504</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316717110</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/9781316717110</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.BV044311865 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:49:26Z |
| institution | BVB |
| isbn | 9781316717110 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029715504 |
| oclc_num | 992501453 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xii, 480 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 | Hinman, Peter G. Verfasser aut Recursion-theoretic hierarchies Peter G. Hinman Cambridge Cambridge University Press 2016 1 online resource (xii, 480 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. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear Recursion theory / Hierarchies Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Rekursivität (DE-588)4443996-9 gnd rswk-swf Rekursionstheorie (DE-588)4122329-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Rekursivität (DE-588)4443996-9 s Rekursionstheorie (DE-588)4122329-9 s Erscheint auch als Druck-Ausgabe, hardback 978-1-107-16824-4 https://doi.org/10.1017/9781316717110 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Hinman, Peter G. Recursion-theoretic hierarchies Recursion theory / Hierarchies Mathematische Logik (DE-588)4037951-6 gnd Rekursivität (DE-588)4443996-9 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4443996-9 (DE-588)4122329-9 |
| title | Recursion-theoretic hierarchies |
| title_auth | Recursion-theoretic hierarchies |
| title_exact_search | Recursion-theoretic hierarchies |
| title_full | Recursion-theoretic hierarchies Peter G. Hinman |
| title_fullStr | Recursion-theoretic hierarchies Peter G. Hinman |
| title_full_unstemmed | Recursion-theoretic hierarchies Peter G. Hinman |
| title_short | Recursion-theoretic hierarchies |
| title_sort | recursion theoretic hierarchies |
| topic | Recursion theory / Hierarchies Mathematische Logik (DE-588)4037951-6 gnd Rekursivität (DE-588)4443996-9 gnd Rekursionstheorie (DE-588)4122329-9 gnd |
| topic_facet | Recursion theory / Hierarchies Mathematische Logik Rekursivität Rekursionstheorie |
| url | https://doi.org/10.1017/9781316717110 |
| work_keys_str_mv | AT hinmanpeterg recursiontheoretichierarchies |