Predicative arithmetic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Princeton, NJ
Princeton Univ. Press
1986
|
| Schriftenreihe: | Mathematical notes
32 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 189 S. |
| ISBN: | 0691084556 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000633561 | ||
| 003 | DE-604 | ||
| 005 | 20090326 | ||
| 007 | t | ||
| 008 | 870914s1986 |||| 00||| eng d | ||
| 020 | |a 0691084556 |9 0-691-08455-6 | ||
| 035 | |a (OCoLC)14001745 | ||
| 035 | |a (DE-599)BVBBV000633561 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-384 |a DE-703 |a DE-739 |a DE-355 |a DE-29T |a DE-19 |a DE-706 |a DE-11 | ||
| 050 | 0 | |a QA9.56 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 084 | |a SI 870 |0 (DE-625)143208: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 040f |2 stub | ||
| 084 | |a MAT 010f |2 stub | ||
| 084 | |a MAT 039f |2 stub | ||
| 100 | 1 | |a Nelson, Edward |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Predicative arithmetic |c by Edward Nelson |
| 264 | 1 | |a Princeton, NJ |b Princeton Univ. Press |c 1986 | |
| 300 | |a VIII, 189 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematical notes |v 32 | |
| 650 | 4 | |a Arithmétique | |
| 650 | 7 | |a Logica matematica |2 larpcal | |
| 650 | 4 | |a Mathématiques constructives | |
| 650 | 4 | |a Arithmetic | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenkalkül |0 (DE-588)4175518-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Mathematical notes |v 32 |w (DE-604)BV000003793 |9 32 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000394438&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000394438 | ||
Datensatz im Suchindex
| _version_ | 1804115080317501440 |
|---|---|
| adam_text | Table of contents
1. The impredicativity of induction 1
2. Logical terminology 3
3. The axioms of arithmetic 8
4. Order 10
5. Induction by relativization 12
6. Interpretability in Robinson s theory 16
7. Bounded induction 23
8. The bounded least number principle 29
9. The Euclidean algorithm 32
10. Encoding 36
11. Bounded separation and minimum 43
12. Sets and functions 46
13. Exponential functions 51
14. Exponentiation 54
15. A stronger relativization scheme 60
16. Bounds on exponential functions 64
17. Bounded replacement 70
18. An impassable barrier 73
19. Sequences 82
20. Cardinality 90
21. Existence of sets 95
22. Semibounded replacement 98
23. Formulas 101
24. Proofs 111
25. Derived rules of inference 115
26. Special constants 134
27. Extensions by definition 136
vii
viii TABLE OF CONTENTS
28. Interpretations 152
29. The arithmetization of arithmetic 157
30. The consistency theorem 162
31. Is exponentiation total? 173
32. A modified Hilbert program 178
Bibliography 181
General index 183
Index of defining axioms 186
|
| any_adam_object | 1 |
| author | Nelson, Edward |
| author_facet | Nelson, Edward |
| author_role | aut |
| author_sort | Nelson, Edward |
| author_variant | e n en |
| building | Verbundindex |
| bvnumber | BV000633561 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.56 |
| callnumber-search | QA9.56 |
| callnumber-sort | QA 19.56 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 870 SK 130 |
| classification_tum | MAT 040f MAT 010f MAT 039f |
| ctrlnum | (OCoLC)14001745 (DE-599)BVBBV000633561 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01836nam a2200505 cb4500</leader><controlfield tag="001">BV000633561</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090326 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870914s1986 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0691084556</subfield><subfield code="9">0-691-08455-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14001745</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000633561</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.56</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 870</subfield><subfield code="0">(DE-625)143208:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 040f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 010f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 039f</subfield><subfield code="2">stub</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</subfield><subfield code="c">by Edward Nelson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton Univ. Press</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 189 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Mathematical notes</subfield><subfield code="v">32</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arithmétique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica matematica</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</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="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Prädikatenkalkül</subfield><subfield code="0">(DE-588)4175518-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematical notes</subfield><subfield code="v">32</subfield><subfield code="w">(DE-604)BV000003793</subfield><subfield code="9">32</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000394438&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000394438</subfield></datafield></record></collection> |
| id | DE-604.BV000633561 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:16:55Z |
| institution | BVB |
| isbn | 0691084556 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000394438 |
| oclc_num | 14001745 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-706 DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-384 DE-703 DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-706 DE-11 |
| physical | VIII, 189 S. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | Princeton Univ. Press |
| record_format | marc |
| series | Mathematical notes |
| series2 | Mathematical notes |
| spelling | Nelson, Edward Verfasser aut Predicative arithmetic by Edward Nelson Princeton, NJ Princeton Univ. Press 1986 VIII, 189 S. txt rdacontent n rdamedia nc rdacarrier Mathematical notes 32 Arithmétique Logica matematica larpcal Mathématiques constructives Arithmetic Constructive mathematics Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Prädikatenkalkül (DE-588)4175518-2 gnd rswk-swf Konstruktive Mathematik (DE-588)4165105-4 s DE-604 Prädikatenkalkül (DE-588)4175518-2 s Mathematical notes 32 (DE-604)BV000003793 32 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000394438&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Nelson, Edward Predicative arithmetic Mathematical notes Arithmétique Logica matematica larpcal Mathématiques constructives Arithmetic Constructive mathematics Konstruktive Mathematik (DE-588)4165105-4 gnd Prädikatenkalkül (DE-588)4175518-2 gnd |
| subject_GND | (DE-588)4165105-4 (DE-588)4175518-2 |
| title | Predicative arithmetic |
| title_auth | Predicative arithmetic |
| title_exact_search | Predicative arithmetic |
| title_full | Predicative arithmetic by Edward Nelson |
| title_fullStr | Predicative arithmetic by Edward Nelson |
| title_full_unstemmed | Predicative arithmetic by Edward Nelson |
| title_short | Predicative arithmetic |
| title_sort | predicative arithmetic |
| topic | Arithmétique Logica matematica larpcal Mathématiques constructives Arithmetic Constructive mathematics Konstruktive Mathematik (DE-588)4165105-4 gnd Prädikatenkalkül (DE-588)4175518-2 gnd |
| topic_facet | Arithmétique Logica matematica Mathématiques constructives Arithmetic Constructive mathematics Konstruktive Mathematik Prädikatenkalkül |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000394438&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000003793 |
| work_keys_str_mv | AT nelsonedward predicativearithmetic |