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, 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. 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: | 1 online resource. |
| Bibliographie: | Includes bibliographical references and indexes. |
| ISBN: | 9781316754894 1316754898 |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn982287942 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170413s2016 enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d N$T |d OCLCF |d U3W |d COO |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 020 | |a 9781316754894 |q (electronic bk.) | ||
| 020 | |a 1316754898 |q (electronic bk.) | ||
| 035 | |a (OCoLC)982287942 | ||
| 050 | 4 | |a QA248 |b .H23 2016 | |
| 072 | 7 | |a MAT |x 004000 |2 bisacsh | |
| 082 | 7 | |a 513/.01 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Hájek, Petr, |e author. |0 http://id.loc.gov/authorities/names/n84154773 | |
| 245 | 1 | 0 | |a Metamathematics of first-order arithmetic / |c Petr Hájek, Pavel Pudlák. |
| 264 | 1 | |a Cambridge, United Kingdom : |b Cambridge University Press, |c [2016] | |
| 264 | 4 | |c ©2016 | |
| 300 | |a 1 online resource. | ||
| 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. 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 | 0 | |a Arithmetic |x Foundations. |0 http://id.loc.gov/authorities/subjects/sh85007169 | |
| 650 | 6 | |a Arithmétique |x Fondements. | |
| 650 | 7 | |a MATHEMATICS / Arithmetic |2 bisacsh | |
| 650 | 7 | |a Arithmetic |x Foundations |2 fast | |
| 700 | 1 | |a Pudlák, Pavel, |d 1952- |e author. |1 https://id.oclc.org/worldcat/entity/E39PCjrgw8VcHDRCYrYgjjVBRq |0 http://id.loc.gov/authorities/names/n88151353 | |
| 758 | |i has work: |a Metamathematics of first-order arithmetic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFJ7CX8QxGyVrVQrdPRHqP |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=1475808 |3 Volltext |
| 938 | |a EBSCOhost |b EBSC |n 1475808 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn982287942 |
|---|---|
| _version_ | 1816882385869864960 |
| adam_text | |
| any_adam_object | |
| author | Hájek, Petr Pudlák, Pavel, 1952- |
| author_GND | http://id.loc.gov/authorities/names/n84154773 http://id.loc.gov/authorities/names/n88151353 |
| 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 | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 .H23 2016 |
| callnumber-search | QA248 .H23 2016 |
| callnumber-sort | QA 3248 H23 42016 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)982287942 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03000cam a2200457 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn982287942</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 enk 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">OCLCF</subfield><subfield code="d">U3W</subfield><subfield code="d">COO</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></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316754894</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1316754898</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)982287942</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA248</subfield><subfield code="b">.H23 2016</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">513/.01</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">Hájek, Petr,</subfield><subfield code="e">author.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n84154773</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, 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></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. 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="0"><subfield code="a">Arithmetic</subfield><subfield code="x">Foundations.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85007169</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Arithmétique</subfield><subfield code="x">Fondements.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Arithmetic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arithmetic</subfield><subfield code="x">Foundations</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pudlák, Pavel,</subfield><subfield code="d">1952-</subfield><subfield code="e">author.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjrgw8VcHDRCYrYgjjVBRq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88151353</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Metamathematics of first-order arithmetic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFJ7CX8QxGyVrVQrdPRHqP</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=1475808</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1475808</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-ocn982287942 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-27T13:27:47Z |
| institution | BVB |
| isbn | 9781316754894 1316754898 |
| language | English |
| oclc_num | 982287942 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource. |
| 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 | Hájek, Petr, author. http://id.loc.gov/authorities/names/n84154773 Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák. Cambridge, United Kingdom : Cambridge University Press, [2016] ©2016 1 online resource. 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. 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. http://id.loc.gov/authorities/subjects/sh85007169 Arithmétique Fondements. MATHEMATICS / Arithmetic bisacsh Arithmetic Foundations fast Pudlák, Pavel, 1952- author. https://id.oclc.org/worldcat/entity/E39PCjrgw8VcHDRCYrYgjjVBRq http://id.loc.gov/authorities/names/n88151353 has work: Metamathematics of first-order arithmetic (Text) https://id.oclc.org/worldcat/entity/E39PCFJ7CX8QxGyVrVQrdPRHqP 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=1475808 Volltext |
| spellingShingle | Hájek, Petr Pudlák, Pavel, 1952- Metamathematics of first-order arithmetic / Perspectives in mathematical logic. Arithmetic Foundations. http://id.loc.gov/authorities/subjects/sh85007169 Arithmétique Fondements. MATHEMATICS / Arithmetic bisacsh Arithmetic Foundations fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85007169 |
| 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. http://id.loc.gov/authorities/subjects/sh85007169 Arithmétique Fondements. MATHEMATICS / Arithmetic bisacsh Arithmetic Foundations fast |
| topic_facet | Arithmetic Foundations. Arithmétique Fondements. MATHEMATICS / Arithmetic Arithmetic Foundations |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475808 |
| work_keys_str_mv | AT hajekpetr metamathematicsoffirstorderarithmetic AT pudlakpavel metamathematicsoffirstorderarithmetic |