Computable structure theory: within the arithmetic
In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings....
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2021
|
| Schriftenreihe: | Perspectives in logic
|
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 TUM01 URL des Erstveröffentlichers |
| Zusammenfassung: | In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 11 Jun 2021) |
| Beschreibung: | 1 Online-Ressource (xxii, 190 Seiten) |
| ISBN: | 9781108525749 |
| DOI: | 10.1017/9781108525749 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047386528 | ||
| 003 | DE-604 | ||
| 005 | 20221205 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 210727s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9781108525749 |c Online |9 978-1-108-52574-9 | ||
| 024 | 7 | |a 10.1017/9781108525749 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781108525749 | ||
| 035 | |a (OCoLC)1263284808 | ||
| 035 | |a (DE-599)BVBBV047386528 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-91 | ||
| 082 | 0 | |a 511.3 | |
| 100 | 1 | |a Montalbán, Antonio |d 1978- |0 (DE-588)1237644380 |4 aut | |
| 245 | 1 | 0 | |a Computable structure theory |b within the arithmetic |c Antonio Montalbán |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2021 | |
| 300 | |a 1 Online-Ressource (xxii, 190 Seiten) | ||
| 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 11 Jun 2021) | ||
| 520 | |a In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic | ||
| 650 | 4 | |a Computable functions | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-108-42329-8 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781108525749 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032787939 | ||
| 966 | e | |u https://doi.org/10.1017/9781108525749 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108525749 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781108525749 |l TUM01 |p ZDB-20-CBO |q TUM_Paketkauf_2021 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182637979369473 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Montalbán, Antonio 1978- |
| author_GND | (DE-588)1237644380 |
| author_facet | Montalbán, Antonio 1978- |
| author_role | aut |
| author_sort | Montalbán, Antonio 1978- |
| author_variant | a m am |
| building | Verbundindex |
| bvnumber | BV047386528 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781108525749 (OCoLC)1263284808 (DE-599)BVBBV047386528 |
| 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 |
| discipline_str_mv | Mathematik |
| doi_str_mv | 10.1017/9781108525749 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02561nmm a2200409zc 4500</leader><controlfield tag="001">BV047386528</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221205 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">210727s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108525749</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-108-52574-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781108525749</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781108525749</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1263284808</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047386528</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><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Montalbán, Antonio</subfield><subfield code="d">1978-</subfield><subfield code="0">(DE-588)1237644380</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computable structure theory</subfield><subfield code="b">within the arithmetic</subfield><subfield code="c">Antonio Montalbán</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxii, 190 Seiten)</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 11 Jun 2021)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-108-42329-8</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781108525749</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-032787939</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108525749</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/9781108525749</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781108525749</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">TUM_Paketkauf_2021</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047386528 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T17:49:09Z |
| indexdate | 2024-07-10T09:10:42Z |
| institution | BVB |
| isbn | 9781108525749 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032787939 |
| oclc_num | 1263284808 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-91 DE-BY-TUM |
| owner_facet | DE-12 DE-92 DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xxii, 190 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO TUM_Paketkauf_2021 |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Perspectives in logic |
| spelling | Montalbán, Antonio 1978- (DE-588)1237644380 aut Computable structure theory within the arithmetic Antonio Montalbán Cambridge Cambridge University Press 2021 1 Online-Ressource (xxii, 190 Seiten) txt rdacontent c rdamedia cr rdacarrier Perspectives in logic Title from publisher's bibliographic system (viewed on 11 Jun 2021) In mathematics, we know there are some concepts - objects, constructions, structures, proofs - that are more complex and difficult to describe than others. Computable structure theory quantifies and studies the complexity of mathematical structures, structures such as graphs, groups, and orderings. Written by a contemporary expert in the subject, this is the first full monograph on computable structure theory in 20 years. Aimed at graduate students and researchers in mathematical logic, it brings new results of the author together with many older results that were previously scattered across the literature and presents them all in a coherent framework, making it easier for the reader to learn the main results and techniques in the area for application in their own research. This volume focuses on countable structures whose complexity can be measured within arithmetic; a forthcoming second volume will study structures beyond arithmetic Computable functions Erscheint auch als Druck-Ausgabe 978-1-108-42329-8 https://doi.org/10.1017/9781108525749 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Montalbán, Antonio 1978- Computable structure theory within the arithmetic Computable functions |
| title | Computable structure theory within the arithmetic |
| title_auth | Computable structure theory within the arithmetic |
| title_exact_search | Computable structure theory within the arithmetic |
| title_exact_search_txtP | Computable structure theory within the arithmetic |
| title_full | Computable structure theory within the arithmetic Antonio Montalbán |
| title_fullStr | Computable structure theory within the arithmetic Antonio Montalbán |
| title_full_unstemmed | Computable structure theory within the arithmetic Antonio Montalbán |
| title_short | Computable structure theory |
| title_sort | computable structure theory within the arithmetic |
| title_sub | within the arithmetic |
| topic | Computable functions |
| topic_facet | Computable functions |
| url | https://doi.org/10.1017/9781108525749 |
| work_keys_str_mv | AT montalbanantonio computablestructuretheorywithinthearithmetic |