Predicative Arithmetic. (MN-32):
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Princeton
Princeton University Press
2014
|
| Series: | Mathematical Notes
|
| Subjects: | |
| Online Access: | FAW01 FAW02 |
| Item Description: | Cover; Table of Contents 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: | 199 pages |
| ISBN: | 9781400858927 1400858925 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043778306 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160920s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781400858927 |9 978-1-4008-5892-7 | ||
| 020 | |a 1400858925 |9 1-4008-5892-5 | ||
| 035 | |a (ZDB-4-EBA)ocn884013294 | ||
| 035 | |a (OCoLC)884013294 | ||
| 035 | |a (DE-599)BVBBV043778306 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 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 199 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematical Notes | |
| 500 | |a Cover; Table of Contents | ||
| 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 | 7 | |a MATHEMATICS / Arithmetic |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / General |2 bisacsh | |
| 650 | 7 | |a Arithmetic |2 fast | |
| 650 | 7 | |a Constructive mathematics |2 fast | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 4 | |a Arithmetic | |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029189366 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=791709 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=791709 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804176606398251008 |
|---|---|
| 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 | BV043778306 |
| collection | ZDB-4-EBA |
| ctrlnum | (ZDB-4-EBA)ocn884013294 (OCoLC)884013294 (DE-599)BVBBV043778306 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02062nmm a2200433zc 4500</leader><controlfield tag="001">BV043778306</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160920s2014 |||| 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="020" ind1=" " ind2=" "><subfield code="a">1400858925</subfield><subfield code="9">1-4008-5892-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-EBA)ocn884013294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)884013294</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043778306</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><subfield code="a">DE-1047</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">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="500" ind1=" " ind2=" "><subfield code="a">Cover; Table of Contents</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="7"><subfield code="a">MATHEMATICS / Arithmetic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / General</subfield><subfield code="2">bisacsh</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="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arithmetic</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029189366</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=791709</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=791709</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043778306 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:34:51Z |
| institution | BVB |
| isbn | 9781400858927 1400858925 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029189366 |
| oclc_num | 884013294 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 199 pages |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| 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 199 pages txt rdacontent c rdamedia cr rdacarrier Mathematical Notes Cover; Table of Contents 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 MATHEMATICS / Arithmetic bisacsh MATHEMATICS / General bisacsh Arithmetic fast Constructive mathematics fast Constructive mathematics Arithmetic |
| spellingShingle | Nelson, Edward Predicative Arithmetic. (MN-32) MATHEMATICS / Arithmetic bisacsh MATHEMATICS / General bisacsh Arithmetic fast Constructive mathematics fast Constructive mathematics Arithmetic |
| 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 | MATHEMATICS / Arithmetic bisacsh MATHEMATICS / General bisacsh Arithmetic fast Constructive mathematics fast Constructive mathematics Arithmetic |
| topic_facet | MATHEMATICS / Arithmetic MATHEMATICS / General Arithmetic Constructive mathematics |
| work_keys_str_mv | AT nelsonedward predicativearithmeticmn32 |