Metamathematics of first-order arithmetic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Perspectives in mathematical logic
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 410 - 453 |
| Beschreibung: | XIV, 460 S. |
| ISBN: | 3540506322 0387506322 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008029056 | ||
| 003 | DE-604 | ||
| 005 | 20141216 | ||
| 007 | t | ||
| 008 | 930713s1993 |||| 00||| eng d | ||
| 020 | |a 3540506322 |9 3-540-50632-2 | ||
| 020 | |a 0387506322 |9 0-387-50632-2 | ||
| 035 | |a (OCoLC)26095691 | ||
| 035 | |a (DE-599)BVBBV008029056 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-29T |a DE-824 |a DE-19 | ||
| 050 | 0 | |a QA248 | |
| 082 | 0 | |a 513/.01 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 034f |2 stub | ||
| 084 | |a MAT 039f |2 stub | ||
| 100 | 1 | |a Hájek, Petr |d 1940- |e Verfasser |0 (DE-588)143699024 |4 aut | |
| 245 | 1 | 0 | |a Metamathematics of first-order arithmetic |c Petr Hájek ; Pavel Pudlák |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1993 | |
| 300 | |a XIV, 460 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Perspectives in mathematical logic | |
| 500 | |a Literaturverz. S. 410 - 453 | ||
| 650 | 7 | |a Arithmétique - Fondements |2 ram | |
| 650 | 7 | |a arithmetique bornee |2 inriac | |
| 650 | 7 | |a fondement arithmetique |2 inriac | |
| 650 | 7 | |a modele arithmetique |2 inriac | |
| 650 | 7 | |a theoreme G?de 1 |2 inriac | |
| 650 | 4 | |a Arithmetic |x Foundations | |
| 650 | 0 | 7 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Arithmetik |0 (DE-588)4002919-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Arithmetik |0 (DE-588)4002919-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |D s |
| 689 | 1 | 1 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Pudlák, Pavel |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005283251 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804122393522733056 |
|---|---|
| adam_text | U& BFT,-TFTCT PETR HAEJEK PAVEL PUDLAEK METAMATHEMATICS OF FIRST-ORDER
ARITHMETIC SPRINGER-VERLAG BERLIN HEIDELBERG NEW YORK LONDON PARIS TOKYO
HONG KONG BARCELONA BUDAPEST TABLE OF CONTENTS INTRODUCTION 1
PRELIMINARIES 5 (A) SOME LOGIC 5 (B) THE LANGUAGE OF ARITHMETIC, THE
STANDARD MODEL 12 (C) BEGINNING ARITHMETIZATION OF METAMATHEMATICS 20
PART A CHAPTER I ARITHMETIC AS NUMBER THEORY, SET THEORY AND LOGIC 27
INTRODUCTION 27 1. BASIC DEVELOPMENTS; PARTIAL TRUTH DEFINITIONS 28 (A)
PROPERTIES OF ADDITION AND MULTIPLICATION, DIVISIBILITY AND PRIMES 28
(B) CODING FINITE SETS AND SEQUENCES; THE THEORY ISO(EXP) . . 37 (C)
PROVABLY RECURSIVE FUNCTIONS; THE THEORY IS 44 (D) ARITHMETIZATION OF
METAMATHEMATICS: PARTIAL TRUTH DEFINITIONS 50 2. FRAGMENTS OF
FIRST-ORDER ARITHMETIC 61 (A) INDUCTION AND COLLECTION 61 (B) FURTHER
PRINCIPLES AND FACTS ABOUT FRAGMENTS 67 (C) FINITE AXIOMATIZABILITY;
PARTIAL TRUTH DEFINITIONS FOR RELATIVIZED ARITHMETICAL FORMULAS 77 (D)
RELATIVIZED HIERARCHY IN FRAGMENTS 81 (E) AXIOMATIC SYSTEMS OF
ARITHMETIC WITH NO FUNCTION SYMBOLS . 86 3. FRAGMENTS AND RECURSION
THEORY 89 (A) LIMIT THEOREM 89 (B) LOW BASIS THEOREM 91 (C) INFINITE A
SUBSETS 95 (D) MATIYASEVIC S THEOREM IN IT, 97 4. ELEMENTS OF LOGIC IN
FRAGMENTS 98 (A) ARITHMETIZING PROVABILITY 98 XII TABLE OF CONTENTS (B)
ARITHMETIZING MODEL THEORY 102 (C) APPLICATIONS TO ARITHMETIC 105
CHAPTER II FRAGMENTS AND COMBINATORICS 111 1. RAMSEY S THEOREMS AND
FRAGMENTS 111 (A) STATEMENT OF RESULTS 111 (B) PROOFS (OF 1.5, 1.7, 1.9)
115 (C) PROOFS (OF 1.6, 1.8, 1.10) 118 2. INSTANCES OF THE
PARIS-HARRINGTON PRINCIPLE AND CONSISTENCY STATEMENTS 121 (A)
INTRODUCTION AND STATEMENT OF RESULTS 121 (B) SOME COMBINATORICS 122 (C)
PROOFOF CON (IE + ZV(J7F))-+(P#)* (FOR U 1) . . . . 124 (D) STRONG
INDISCERNIBLES 125 (E) FINAL CONSIDERATIONS 129 3. SCHWICHTENBERG-WAINER
HIERARCHY AND A-LARGE SETS 132 (A) ORDINALS IN IE 133 (B) TRANSFINITE
INDUCTION AND FRAGMENTS 138 (C) A-LARGE SETS IN IS 139 (D)
SCHWICHTENBERG-WAINER HIERARCHY 140 PARTB CHAPTER III SELF-REFERENCE 147
1. PRELIMINARIES 148 (A) INTERPRETABILITY AND PARTIAL CONSERVATIVITY 148
(B) THEORIES CONTAINING ARITHMETIC; SEQUENTIAL THEORIES; PA AND ACA 0
150 (C) NUMERATIONS AND BINUMERATIONS 155 2. SELF-REFERENCE AND GOEDEL S
THEOREMS, REFLEXIVE THEORIES . . . . 158 (A) EXISTENCE OF FIXED POINTS
158 (B) GOEDEL S FIRST INCOMPLETENESS THEOREM AND RELATED TOPICS . . 160
(C) GOEDEL S SECOND INCOMPLETENESS THEOREM 163 (D) PURE EXTENSIONS OF PA
168 (E) INTERPRETABILITY IN PURE EXTENSIONS OF PA 169 3. DEFMABLE CUTS
171 (A) DEFINABLE CUTS AND THEIR PROPERTIES 172 (B) A STRONG FORM OF
GOEDEL S SECOND INCOMPLETENESS THEOREM . 173 (C) HERBRAND PROVABILITY AND
HERBRAND CONSISTENCY 179 (D) CUTS AND INTERPRETATIONS 186 4. PARTIAL
CONSERVATIVITY AND INTERPRETABILITY 189 (A) SOME PROMINENT EXAMPLES 190
TABLE OF CONTENTS XIII (B) GENERAL THEOREMS ON PARTIAL CONSERVATIVITY;
SOME FIXED-POINT THEOREMS 195 (C) APPLICATIONS, MAINLY TO
INTERPRETABILITY 206 CHAPTER IV MODELS OF FRAGMENTS OF ARITHMETIC 213 1.
SOME BASIC CONSTRUCTIONS 214 (A) PRELIMINARIES 214 (B) DEFINABLE
ULTRAPOWER OF THE STANDARD MODEL 216 (C) ON SUBMODELS AND CUTS 218 (D)
MODELS FOR THE HIERARCHY 220 (E) ELEMENTARY END EXTENSIONS 227 (F) A
CONSERVATION RESULT 230 2. CUTS IN MODELS OF ARITHMETIC WITH A TOP 232
(A) ARITHMETIC WITH A TOP AND ITS MODELS 232 (B) CUTS 234 (C)
EXTENDABLE, RESTRAINABLE AND RAMSEY CUTS 236 (D) SATISFACTION IN FINITE
STRUCTURES WITH AN APPLICATION TO MODELS OF IX 1 ! 241 3. PROVABLY
RECURSIVE FUNCTIONS AND THE METHOD OF INDICATORS . . . 245 (A) PROVABLY
RECURSIVE FUNCTIONS, ENVELOPES 245 (B) INDICATORS AND PARIS SEQUENCES
247 (C) PARIS SEQUENCES OF THE FIRST KIND 250 (D) PARIS SEQUENCES OF THE
SECOND KIND 253 (E) FURTHER CONSEQUENCES 257 4. FORMALIZING MODEL THEORY
258 (A) SOME RESULTS ON SATISFACTION AND CONSISTENCY 259 (B) A
CONSERVATION RESULT IN IS 260 (C) APPENDIX: ANOTHER CONSERVATION RESULT
263 PARTC CHAPTER V BOUNDED ARITHMETIC 267 1. A SURVEY OF WEAK FRAGMENTS
OF ARITHMETIC 268 (A) FRAGMENTS OF ARITHMETIC 268 2. A BRIEF
INTRODUCTION TO COMPLEXITY THEORY 276 (A) TIME AND SPACE COMPLEXITY
CLASSES 277 (B) NONDETERMINISTIC COMPUTATIONS 279 (C) DEGREES AND
/VP-COMPLETENESS 280 (D) ORACLE COMPUTATIONS 282 (E) THE LINEAR TIME
HIERARCHY AND THE POLYNOMIAL HIERARCHY . . 283 (F) NEPOMNJASCIJ S
THEOREM 285 (G) THE DIAGONAL METHOD FOR SEPAXATING COMPLEXITY CLASSES .
. 288 XIV TABLE OF CONTENTS 3. EXPONENTIATION, CODING SEQUENCES AND
FORMALIZATION OF SYNTAX IN ISQ 294 (A) INTRODUCTION 294 (B) SETS AND
SEQUENCES 295 (C) THE EXPONENTIATION RELATION 299 (D) DEVELOPING IS 0 +
UE 303 (E) THE NUMBER OF ONES IN A BINARY EXPANSION 304 (F) CODING
SEQUENCES 309 (G) SYNTACTICAL CONCEPTS 312 (H) FORMALIZATIONS BASED ON
CONTEXT-FREE GRAMMARS 315 4. WITNESSING FUNCTIONS 320 (A) INTRODUCTION
320 (B) FRAGMENTS OF BOUNDED ARITHMETIC 320 (C) DEFINABILITY OF TURING
MACHINE COMPUTATIONS IN FRAGMENTS OF BOUNDED ARITHMETIC 330 (D)
WITNESSING FUNCTIONS 337 (E) ON THE FINITE AXIOMATIZABILITY OF BOUNDED
ARITHMETIC . . . 350 5. INTERPRETABILITY AND CONSISTENCY 360 (A)
INTRODUCTION 360 (B) TRUTH DEFINITIONS FOR BOUNDED FORMULAE 361 (C) AN
INTERPRETATION OF IEQ IN Q 366 (D) CUT-ELIMINATION AND HERBRAND S
THEOREM IN BOUNDED ARITHMETIC 371 (E) THE UE 1 THEOREMS OF IS 0 + EXP 380
(F) INCOMPLETENESS THEOREMS 386 (G) ON THE LIMITED USE OF EXPONENTIATION
393 BIBLIOGRAPHICAL REMARKS AND FURTHER READING 397 BIBLIOGRAPHY 409
INDEX OF TERMS 455 INDEX OF SYMBOLS 459
|
| any_adam_object | 1 |
| author | Hájek, Petr 1940- Pudlák, Pavel |
| author_GND | (DE-588)143699024 |
| author_facet | Hájek, Petr 1940- Pudlák, Pavel |
| author_role | aut aut |
| author_sort | Hájek, Petr 1940- |
| author_variant | p h ph p p pp |
| building | Verbundindex |
| bvnumber | BV008029056 |
| callnumber-first | Q - Science |
| callnumber-label | QA248 |
| callnumber-raw | QA248 |
| callnumber-search | QA248 |
| callnumber-sort | QA 3248 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| classification_tum | MAT 034f MAT 039f |
| ctrlnum | (OCoLC)26095691 (DE-599)BVBBV008029056 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02090nam a2200553 c 4500</leader><controlfield tag="001">BV008029056</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930713s1993 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540506322</subfield><subfield code="9">3-540-50632-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387506322</subfield><subfield code="9">0-387-50632-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26095691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008029056</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-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA248</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">513/.01</subfield><subfield code="2">20</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 034f</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">Hájek, Petr</subfield><subfield code="d">1940-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)143699024</subfield><subfield code="4">aut</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">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 460 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="0" ind2=" "><subfield code="a">Perspectives in mathematical logic</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 410 - 453</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arithmétique - Fondements</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">arithmetique bornee</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">fondement arithmetique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modele arithmetique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">theoreme G?de 1</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arithmetic</subfield><subfield code="x">Foundations</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Arithmetik</subfield><subfield code="0">(DE-588)4002919-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Arithmetik</subfield><subfield code="0">(DE-588)4002919-0</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">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pudlák, Pavel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=005283251&sequence=000001&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-005283251</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV008029056 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:13:10Z |
| institution | BVB |
| isbn | 3540506322 0387506322 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005283251 |
| oclc_num | 26095691 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-29T DE-824 DE-19 DE-BY-UBM |
| owner_facet | DE-91G DE-BY-TUM DE-29T DE-824 DE-19 DE-BY-UBM |
| physical | XIV, 460 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series2 | Perspectives in mathematical logic |
| spelling | Hájek, Petr 1940- Verfasser (DE-588)143699024 aut Metamathematics of first-order arithmetic Petr Hájek ; Pavel Pudlák Berlin u.a. Springer 1993 XIV, 460 S. txt rdacontent n rdamedia nc rdacarrier Perspectives in mathematical logic Literaturverz. S. 410 - 453 Arithmétique - Fondements ram arithmetique bornee inriac fondement arithmetique inriac modele arithmetique inriac theoreme G?de 1 inriac Arithmetic Foundations Peano-Arithmetik (DE-588)4290970-3 gnd rswk-swf Arithmetik (DE-588)4002919-0 gnd rswk-swf Metamathematik (DE-588)4074759-1 gnd rswk-swf Arithmetik (DE-588)4002919-0 s DE-604 Peano-Arithmetik (DE-588)4290970-3 s Metamathematik (DE-588)4074759-1 s 1\p DE-604 Pudlák, Pavel Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hájek, Petr 1940- Pudlák, Pavel Metamathematics of first-order arithmetic Arithmétique - Fondements ram arithmetique bornee inriac fondement arithmetique inriac modele arithmetique inriac theoreme G?de 1 inriac Arithmetic Foundations Peano-Arithmetik (DE-588)4290970-3 gnd Arithmetik (DE-588)4002919-0 gnd Metamathematik (DE-588)4074759-1 gnd |
| subject_GND | (DE-588)4290970-3 (DE-588)4002919-0 (DE-588)4074759-1 |
| 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 | Arithmétique - Fondements ram arithmetique bornee inriac fondement arithmetique inriac modele arithmetique inriac theoreme G?de 1 inriac Arithmetic Foundations Peano-Arithmetik (DE-588)4290970-3 gnd Arithmetik (DE-588)4002919-0 gnd Metamathematik (DE-588)4074759-1 gnd |
| topic_facet | Arithmétique - Fondements arithmetique bornee fondement arithmetique modele arithmetique theoreme G?de 1 Arithmetic Foundations Peano-Arithmetik Arithmetik Metamathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283251&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hajekpetr metamathematicsoffirstorderarithmetic AT pudlakpavel metamathematicsoffirstorderarithmetic |