Predicative Arithmetic. (MN-32):
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Princeton
Princeton University Press
2014
|
| Series: | Mathematical Notes
Mathematical Notes |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | De Gruyter ; De Gruyter ; De Gruyter This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q.A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these |
| Physical Description: | 1 Online-Ressource (199 pages) |
| ISBN: | 9781400858927 |
| DOI: | 10.1515/9781400858927 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043014243 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151118s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781400858927 |9 978-1-4008-5892-7 | ||
| 024 | 7 | |a 10.1515/9781400858927 |2 doi | |
| 035 | |a (OCoLC)884013294 | ||
| 035 | |a (DE-599)BVBBV043014243 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 511.3 |2 19eng | |
| 100 | 1 | |a Nelson, Edward |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Predicative Arithmetic. (MN-32) |
| 264 | 1 | |a Princeton |b Princeton University Press |c 2014 | |
| 300 | |a 1 Online-Ressource (199 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematical Notes | |
| 490 | 0 | |a Mathematical Notes | |
| 500 | |a De Gruyter ; De Gruyter ; De Gruyter | ||
| 500 | |a This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q.A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these | ||
| 650 | 4 | |a Architecture, Art, Music | |
| 650 | 4 | |a Fine Arts and Architecture | |
| 650 | 7 | |a Arithmetic |2 fast | |
| 650 | 7 | |a Constructive mathematics |2 fast | |
| 650 | 7 | |a MATHEMATICS / Arithmetic |2 bisacsh | |
| 650 | 4 | |a Arithmetic | |
| 650 | 4 | |a Constructive mathematics | |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9781400858927 |x Verlag |3 Volltext |
| 912 | |a ZDB-23-DGG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028439125 | ||
Record in the Search Index
| _version_ | 1804175361047527424 |
|---|---|
| any_adam_object | |
| author | Nelson, Edward |
| author_facet | Nelson, Edward |
| author_role | aut |
| author_sort | Nelson, Edward |
| author_variant | e n en |
| building | Verbundindex |
| bvnumber | BV043014243 |
| collection | ZDB-23-DGG |
| ctrlnum | (OCoLC)884013294 (DE-599)BVBBV043014243 |
| 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 |
| doi_str_mv | 10.1515/9781400858927 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01868nmm a2200421zc 4500</leader><controlfield tag="001">BV043014243</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151118s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400858927</subfield><subfield code="9">978-1-4008-5892-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400858927</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)884013294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043014243</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="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nelson, Edward</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Predicative Arithmetic. (MN-32)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (199 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">Mathematical Notes</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematical Notes</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">De Gruyter ; De Gruyter ; De Gruyter</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q.A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Architecture, Art, Music</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fine Arts and Architecture</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arithmetic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constructive mathematics</subfield><subfield code="2">fast</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="4"><subfield code="a">Arithmetic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400858927</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028439125</subfield></datafield></record></collection> |
| id | DE-604.BV043014243 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:15:04Z |
| institution | BVB |
| isbn | 9781400858927 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028439125 |
| oclc_num | 884013294 |
| open_access_boolean | |
| physical | 1 Online-Ressource (199 pages) |
| psigel | ZDB-23-DGG |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Princeton University Press |
| record_format | marc |
| series2 | Mathematical Notes |
| spelling | Nelson, Edward Verfasser aut Predicative Arithmetic. (MN-32) Princeton Princeton University Press 2014 1 Online-Ressource (199 pages) txt rdacontent c rdamedia cr rdacarrier Mathematical Notes De Gruyter ; De Gruyter ; De Gruyter This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q.A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these Architecture, Art, Music Fine Arts and Architecture Arithmetic fast Constructive mathematics fast MATHEMATICS / Arithmetic bisacsh Arithmetic Constructive mathematics https://doi.org/10.1515/9781400858927 Verlag Volltext |
| spellingShingle | Nelson, Edward Predicative Arithmetic. (MN-32) Architecture, Art, Music Fine Arts and Architecture Arithmetic fast Constructive mathematics fast MATHEMATICS / Arithmetic bisacsh Arithmetic Constructive mathematics |
| title | Predicative Arithmetic. (MN-32) |
| title_auth | Predicative Arithmetic. (MN-32) |
| title_exact_search | Predicative Arithmetic. (MN-32) |
| title_full | Predicative Arithmetic. (MN-32) |
| title_fullStr | Predicative Arithmetic. (MN-32) |
| title_full_unstemmed | Predicative Arithmetic. (MN-32) |
| title_short | Predicative Arithmetic. (MN-32) |
| title_sort | predicative arithmetic mn 32 |
| topic | Architecture, Art, Music Fine Arts and Architecture Arithmetic fast Constructive mathematics fast MATHEMATICS / Arithmetic bisacsh Arithmetic Constructive mathematics |
| topic_facet | Architecture, Art, Music Fine Arts and Architecture Arithmetic Constructive mathematics MATHEMATICS / Arithmetic |
| url | https://doi.org/10.1515/9781400858927 |
| work_keys_str_mv | AT nelsonedward predicativearithmeticmn32 |