Holdings: Predicative arithmetic

Predicative arithmetic:

Saved in:

Bibliographic Details
Main Author:	Nelson, Edward (Author)
Format:	Book
Language:	English
Published:	Princeton, NJ Princeton Univ. Press 1986
Series:	Mathematical notes 32
Subjects:	Arithmétique Logica matematica Mathématiques constructives Arithmetic Constructive mathematics Konstruktive Mathematik Prädikatenkalkül
Online Access:	Inhaltsverzeichnis
Physical Description:	VIII, 189 S.
ISBN:	0691084556

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items