Computable structures and the hyperarithmetical hierarchy:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
2000
|
| Ausgabe: | 1st ed |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 144 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties) Includes bibliographical references (p. 323-333) and index |
| Beschreibung: | 1 Online-Ressource (xv, 346 p.) |
| ISBN: | 9780444500724 0444500723 9780080529523 0080529526 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317288 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444500724 |9 978-0-444-50072-4 | ||
| 020 | |a 0444500723 |9 0-444-50072-3 | ||
| 020 | |a 9780080529523 |c electronic bk. |9 978-0-08-052952-3 | ||
| 020 | |a 0080529526 |c electronic bk. |9 0-08-052952-6 | ||
| 035 | |a (ZDB-33-EBS)ocn162131184 | ||
| 035 | |a (OCoLC)162131184 | ||
| 035 | |a (DE-599)BVBBV042317288 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 100 | 1 | |a Ash, C. J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computable structures and the hyperarithmetical hierarchy |c C.J. Ash, J. Knight |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b Elsevier |c 2000 | |
| 300 | |a 1 Online-Ressource (xv, 346 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 144 | |
| 500 | |a This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties) | ||
| 500 | |a Includes bibliographical references (p. 323-333) and index | ||
| 650 | 4 | |a Fonctions calculables | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast | |
| 650 | 4 | |a Computable functions | |
| 650 | 0 | 7 | |a Definierbarkeit |0 (DE-588)4284514-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Struktur |g Mathematik |0 (DE-588)4183783-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Struktur |g Mathematik |0 (DE-588)4183783-6 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 2 | |a Definierbarkeit |0 (DE-588)4284514-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Knight, J. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444500724 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754278 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152913556144128 |
|---|---|
| any_adam_object | |
| author | Ash, C. J. |
| author_facet | Ash, C. J. |
| author_role | aut |
| author_sort | Ash, C. J. |
| author_variant | c j a cj cja |
| building | Verbundindex |
| bvnumber | BV042317288 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162131184 (OCoLC)162131184 (DE-599)BVBBV042317288 |
| 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 |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02802nmm a2200589zcb4500</leader><controlfield tag="001">BV042317288</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444500724</subfield><subfield code="9">978-0-444-50072-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444500723</subfield><subfield code="9">0-444-50072-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080529523</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-052952-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080529526</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-052952-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162131184</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162131184</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317288</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ash, C. J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computable structures and the hyperarithmetical hierarchy</subfield><subfield code="c">C.J. Ash, J. Knight</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 346 p.)</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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 144</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 323-333) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fonctions calculables</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computable functions</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Definierbarkeit</subfield><subfield code="0">(DE-588)4284514-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Struktur</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4183783-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Struktur</subfield><subfield code="g">Mathematik</subfield><subfield code="0">(DE-588)4183783-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Definierbarkeit</subfield><subfield code="0">(DE-588)4284514-2</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="700" ind1="1" ind2=" "><subfield code="a">Knight, J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444500724</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754278</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></record></collection> |
| id | DE-604.BV042317288 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444500724 0444500723 9780080529523 0080529526 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754278 |
| oclc_num | 162131184 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xv, 346 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Ash, C. J. Verfasser aut Computable structures and the hyperarithmetical hierarchy C.J. Ash, J. Knight 1st ed Amsterdam Elsevier 2000 1 Online-Ressource (xv, 346 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 144 This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties) Includes bibliographical references (p. 323-333) and index Fonctions calculables Wiskundige logica gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Computable functions Definierbarkeit (DE-588)4284514-2 gnd rswk-swf Struktur Mathematik (DE-588)4183783-6 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Struktur Mathematik (DE-588)4183783-6 s Berechenbarkeit (DE-588)4138368-0 s Definierbarkeit (DE-588)4284514-2 s 1\p DE-604 Knight, J. Sonstige oth http://www.sciencedirect.com/science/book/9780444500724 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ash, C. J. Computable structures and the hyperarithmetical hierarchy Fonctions calculables Wiskundige logica gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Computable functions Definierbarkeit (DE-588)4284514-2 gnd Struktur Mathematik (DE-588)4183783-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4284514-2 (DE-588)4183783-6 (DE-588)4138368-0 |
| title | Computable structures and the hyperarithmetical hierarchy |
| title_auth | Computable structures and the hyperarithmetical hierarchy |
| title_exact_search | Computable structures and the hyperarithmetical hierarchy |
| title_full | Computable structures and the hyperarithmetical hierarchy C.J. Ash, J. Knight |
| title_fullStr | Computable structures and the hyperarithmetical hierarchy C.J. Ash, J. Knight |
| title_full_unstemmed | Computable structures and the hyperarithmetical hierarchy C.J. Ash, J. Knight |
| title_short | Computable structures and the hyperarithmetical hierarchy |
| title_sort | computable structures and the hyperarithmetical hierarchy |
| topic | Fonctions calculables Wiskundige logica gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Computable functions fast Computable functions Definierbarkeit (DE-588)4284514-2 gnd Struktur Mathematik (DE-588)4183783-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Fonctions calculables Wiskundige logica MATHEMATICS / Infinity MATHEMATICS / Logic Computable functions Definierbarkeit Struktur Mathematik Berechenbarkeit |
| url | http://www.sciencedirect.com/science/book/9780444500724 |
| work_keys_str_mv | AT ashcj computablestructuresandthehyperarithmeticalhierarchy AT knightj computablestructuresandthehyperarithmeticalhierarchy |