Metamathematics of first-order arithmetic:
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. This volume, the third publication in the Perspectives...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| 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. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic) |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 18 Apr 2017) |
| Beschreibung: | 1 online resource (xiv, 460 pages) |
| ISBN: | 9781316717271 |
| DOI: | 10.1017/9781316717271 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044311873 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170516s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9781316717271 |9 978-1-316-71727-1 | ||
| 024 | 7 | |a 10.1017/9781316717271 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316717271 | ||
| 035 | |a (OCoLC)992521389 | ||
| 035 | |a (DE-599)BVBBV044311873 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 513/.01 | |
| 100 | 1 | |a Hájek, Petr |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Metamathematics of first-order arithmetic |c Petr Hájek, Pavel Pudlák |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 online resource (xiv, 460 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. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic) | ||
| 650 | 4 | |a Arithmetic / Foundations | |
| 650 | 0 | 7 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Arithmetik |0 (DE-588)4002919-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |D s |
| 689 | 0 | 1 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Arithmetik |0 (DE-588)4002919-0 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Pudlák, Pavel |d 1952- |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardback |z 978-1-107-16841-1 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316717271 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029715513 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/9781316717271 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316717271 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177524073168896 |
|---|---|
| any_adam_object | |
| author | Hájek, Petr Pudlák, Pavel 1952- |
| author_facet | Hájek, Petr Pudlák, Pavel 1952- |
| author_role | aut aut |
| author_sort | Hájek, Petr |
| author_variant | p h ph p p pp |
| building | Verbundindex |
| bvnumber | BV044311873 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316717271 (OCoLC)992521389 (DE-599)BVBBV044311873 |
| dewey-full | 513/.01 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 513 - Arithmetic |
| dewey-raw | 513/.01 |
| dewey-search | 513/.01 |
| dewey-sort | 3513 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/9781316717271 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03047nmm a2200529zc 4500</leader><controlfield tag="001">BV044311873</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">9781316717271</subfield><subfield code="9">978-1-316-71727-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316717271</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316717271</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992521389</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044311873</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">513/.01</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hájek, Petr</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Metamathematics of first-order arithmetic</subfield><subfield code="c">Petr Hájek, Pavel Pudlák</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 (xiv, 460 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. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arithmetic / Foundations</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Arithmetik</subfield><subfield code="0">(DE-588)4002919-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</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="689" ind1="1" ind2="0"><subfield code="a">Arithmetik</subfield><subfield code="0">(DE-588)4002919-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pudlák, Pavel</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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-16841-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316717271</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-029715513</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="883" ind1="1" ind2=" "><subfield code="8">2\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/9781316717271</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/9781316717271</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.BV044311873 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:49:26Z |
| institution | BVB |
| isbn | 9781316717271 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029715513 |
| oclc_num | 992521389 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xiv, 460 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 | Hájek, Petr Verfasser aut Metamathematics of first-order arithmetic Petr Hájek, Pavel Pudlák Cambridge Cambridge University Press 2016 1 online resource (xiv, 460 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. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic) Arithmetic / Foundations Peano-Arithmetik (DE-588)4290970-3 gnd rswk-swf Arithmetik (DE-588)4002919-0 gnd rswk-swf Metamathematik (DE-588)4074759-1 gnd rswk-swf Peano-Arithmetik (DE-588)4290970-3 s Metamathematik (DE-588)4074759-1 s 1\p DE-604 Arithmetik (DE-588)4002919-0 s 2\p DE-604 Pudlák, Pavel 1952- Verfasser aut Erscheint auch als Druck-Ausgabe, hardback 978-1-107-16841-1 https://doi.org/10.1017/9781316717271 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hájek, Petr Pudlák, Pavel 1952- Metamathematics of first-order arithmetic Arithmetic / Foundations Peano-Arithmetik (DE-588)4290970-3 gnd Arithmetik (DE-588)4002919-0 gnd Metamathematik (DE-588)4074759-1 gnd |
| subject_GND | (DE-588)4290970-3 (DE-588)4002919-0 (DE-588)4074759-1 |
| title | Metamathematics of first-order arithmetic |
| title_auth | Metamathematics of first-order arithmetic |
| title_exact_search | Metamathematics of first-order arithmetic |
| title_full | Metamathematics of first-order arithmetic Petr Hájek, Pavel Pudlák |
| title_fullStr | Metamathematics of first-order arithmetic Petr Hájek, Pavel Pudlák |
| title_full_unstemmed | Metamathematics of first-order arithmetic Petr Hájek, Pavel Pudlák |
| title_short | Metamathematics of first-order arithmetic |
| title_sort | metamathematics of first order arithmetic |
| topic | Arithmetic / Foundations Peano-Arithmetik (DE-588)4290970-3 gnd Arithmetik (DE-588)4002919-0 gnd Metamathematik (DE-588)4074759-1 gnd |
| topic_facet | Arithmetic / Foundations Peano-Arithmetik Arithmetik Metamathematik |
| url | https://doi.org/10.1017/9781316717271 |
| work_keys_str_mv | AT hajekpetr metamathematicsoffirstorderarithmetic AT pudlakpavel metamathematicsoffirstorderarithmetic |