The structure of models of Peano arithmetic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2006
|
| Schriftenreihe: | Oxford logic guides
50 |
| Schlagworte: | |
| Online-Zugang: | Table of contents only Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references (S. [295]-306) and indexes |
| Beschreibung: | XIV, 311 S. 24 cm |
| ISBN: | 9780198568278 0198568274 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV021841449 | ||
| 003 | DE-604 | ||
| 005 | 20240118 | ||
| 007 | t | ||
| 008 | 061205s2006 xxk |||| 00||| eng d | ||
| 010 | |a 2006298586 | ||
| 015 | |a GBA627022 |2 dnb | ||
| 020 | |a 9780198568278 |9 978-0-19-856827-8 | ||
| 020 | |a 0198568274 |9 0-19-856827-4 | ||
| 035 | |a (OCoLC)64554618 | ||
| 035 | |a (DE-599)BVBBV021841449 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-19 |a DE-11 |a DE-20 | ||
| 050 | 0 | |a QA9.7 | |
| 082 | 0 | |a 511.3 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 180 |0 (DE-625)143222: |2 rvk | ||
| 100 | 1 | |a Kossak, Roman |d 1953- |e Verfasser |0 (DE-588)113727199X |4 aut | |
| 245 | 1 | 0 | |a The structure of models of Peano arithmetic |c Roman Kossak ; James H. Schmerl |
| 264 | 1 | |a Oxford |b Clarendon Press |c 2006 | |
| 300 | |a XIV, 311 S. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 50 | |
| 500 | |a Includes bibliographical references (S. [295]-306) and indexes | ||
| 600 | 1 | 4 | |a Peano, Giuseppe |d 1858-1932 |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a Structurele vergelijkingen |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Problems, exercises, etc | |
| 650 | 4 | |a Isomorphisms (Mathematics) | |
| 650 | 4 | |a Isomorphisms (Mathematics) |v Problems, exercises, etc | |
| 650 | 0 | 7 | |a Nonstandard-Logik |0 (DE-588)4171988-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nonstandard-Logik |0 (DE-588)4171988-8 |D s |
| 689 | 0 | 1 | |a Peano-Arithmetik |0 (DE-588)4290970-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schmerl, James Henry |e Verfasser |4 aut | |
| 830 | 0 | |a Oxford logic guides |v 50 |w (DE-604)BV000013997 |9 50 | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/fy0702/2006298586.html |3 Table of contents only | |
| 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=015053304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015053304 | ||
Datensatz im Suchindex
| _version_ | 1804135776095567872 |
|---|---|
| adam_text | Titel: The structure of models of Peano arithmetic
Autor: Kossak, Roman
Jahr: 2006
CONTENTS
1 Basics 1
1.1 Notation and basic definitions 1
1.2 Skolem closures 4
1.3 End extensions and cofinal extensions 5
1.4 Coding bounded sets and classes 6
1.5 Standard systems 8
1.6 Types 9
1.7 Blass-Gaifman and Ehrenfeucht lemmas 10
1.8 Recursive saturation and arithmetic saturation 12
1.9 Satisfaction classes and resplendency 14
1.10 Cuts and gaps in recursively saturated models 16
1.11 Truth definitions and restricted saturation 18
1.12 Arithmetized Completeness Theorem 19
1.13 Friedman s Embedding Theorem 20
1.14 Exercises 21
1.15 Remarks References 22
2 Extensions 25
2.1 Simple extensions 25
2.1.1 Minimal extensions 27
2.1.2 Superminimal extensions 29
2.1.3 Greatest common initial segments 31
2.2 The MacDowell-Specker Theorem 33
2.2.1 Superminimal conservative extensions 37
2.2.2 Rather classless models 37
2.2.3 Ramsey s Theorem in ACAo 38
2.3 Amalgamations 39
2.4 Nonelementary extensions 43
2.5 Exercises 45
2.6 Remarks References 47
3 Minimal and Other Types 49
3.1 Types related to indiscernibility 49
3.1.1 Indiscernible types 49
3.1.2 n-indiscernible types 53
3.1.3 End-extensional types 55
3.1.4 Rare types 56
3.2 Minimal types 59
3.2.1 Selective types 59
61
65
66
67
69
72
73
78
84
88
89
89
94
97
102
105
122
127
130
132
135
135
136
137
139
142
144
145
149
151
156
157
158
158
160
160
161
162
163
165
CONTENTS
3.2.2 Characterizing minimal types
3.2.3 An example
3.3 Canonical extensions
3.3.1 Products of types
3.3.2 The automorphism group
3.3.3 The substructure lattice
3.4 Resolute types
3.5 The Paris-Mills theorems
3.6 Exercises
3.7 Remarks References
Substructure Lattices
4.1 Lattices
4.2 Substructure lattices
4.3 Finite distributive lattices, I
4.4 Finite distributive lattices, II
4.5 Finite lattices
4.6 The pentagon lattice
4.7 Infinite distributive lattices
4.8 Exercises
4.0 Remarks Sz References
How to Control Types
5.1 Solid bases and AH-sets
5.1.1 Controlling indiscernibles and
automorphisms
5.1.2 AH-sets
5.1.3 The proof
5.1.4 True arithmetic
5.2 Omitting indiscernibles
5.3 Ilanf numbers
5.4 The automorphism group
5.5 Indiscernible generators
5.6 Exercises
5.7 Remarks ; References
Generics and Forcing
0.1 Generics
6.2 Forcing
6.2.1 Definition
6.2.2 n-Generics
6.2.3 Prime expansions
6.2.4 The Low Basis Theorem
6.3 Product forcing
CONTENTS xiii
6.4 MacDowell-Specker vs the uncountable 167
6.4.1 No end extension 168
6.4.2 Extensions with mutual generics 169
6.4.3 Getting many classes 172
6.5 Perfect generics 175
6.6 Exercises 178
6.7 Remarks References 179
7 Cuts 180
7.1 Semiregular cuts 181
7.1.1 Semiregularity and WKLo 183
7.2 Regular cuts 184
7.3 Many faces of strongness 189
7.4 Why PA? 194
7.4.1 Schemes axiomatizing arithmetic 196
7.5 Exercises 200
7.6 Remarks References 201
8 Automorphisms of Recursively Saturated Models 202
8.1 Moving undefinable elements 202
8.2 Moving cuts and classes 203
8.3 Moving gaps 205
8.4 Back-and-forth 206
8.5 Extending automorphisms 210
8.6 Maximal automorphisms 214
8.7 Fixing strong cuts 217
8.8 Topology on the automorphism group 219
8.9 Maximal point stabilizers 221
8.10 Arithmetic saturation and open subgroups 223
8.11 Exercises 225
8.12 Remarks References 227
9 Automorphism Groups of Recursively
Saturated Models 230
9.1 Generic automorphisms 230
9.2 Dense conjugacy classes 235
9.3 Small index property 239
9.3.1 The cofinality of the automorphism group 242
9.3.2 Property FA 244
9.4 Coding the standard system 245
9.5 The spectrum of automorphism groups 251
9.6 Exercises 253
9.7 Remarks References 254
xiv
CONTENTS
10 oq-like Models 256
10.1 cJi-Like recursively saturated models 256
10.2 Similar nonisomorphic models 260
10.3 Finitely determinate structures and PA(aa) 265
10.4 Ramsey quantifiers and PA(Q2) 269
10.5 Rigid recursively saturated models 273
10.6 Isomorphic + nonisomorphic x 275
10.7 Exercises 276
10.8 Remarks References 278
11 Order Types 281
11.1 On (k, re)-cuts 281
11.2 Saturation of the order rcduct 282
11.2.1 Canonical codes 283
11.2.2 Ki-saturation 283
11.2.3 ^-saturation for k Hi 284
11.3 Exercises 287
11.4 Remarks References 288
12 Twenty Questions 289
References 295
Index of Names 307
Index of Terms 399
|
| adam_txt |
Titel: The structure of models of Peano arithmetic
Autor: Kossak, Roman
Jahr: 2006
CONTENTS
1 Basics 1
1.1 Notation and basic definitions 1
1.2 Skolem closures 4
1.3 End extensions and cofinal extensions 5
1.4 Coding bounded sets and classes 6
1.5 Standard systems 8
1.6 Types 9
1.7 Blass-Gaifman and Ehrenfeucht lemmas 10
1.8 Recursive saturation and arithmetic saturation 12
1.9 Satisfaction classes and resplendency 14
1.10 Cuts and gaps in recursively saturated models 16
1.11 Truth definitions and restricted saturation 18
1.12 Arithmetized Completeness Theorem 19
1.13 Friedman's Embedding Theorem 20
1.14 Exercises 21
1.15 Remarks References 22
2 Extensions 25
2.1 Simple extensions 25
2.1.1 Minimal extensions 27
2.1.2 Superminimal extensions 29
2.1.3 Greatest common initial segments 31
2.2 The MacDowell-Specker Theorem 33
2.2.1 Superminimal conservative extensions 37
2.2.2 Rather classless models 37
2.2.3 Ramsey's Theorem in ACAo 38
2.3 Amalgamations 39
2.4 Nonelementary extensions 43
2.5 Exercises 45
2.6 Remarks References 47
3 Minimal and Other Types 49
3.1 Types related to indiscernibility 49
3.1.1 Indiscernible types 49
3.1.2 n-indiscernible types 53
3.1.3 End-extensional types 55
3.1.4 Rare types 56
3.2 Minimal types 59
3.2.1 Selective types 59
61
65
66
67
69
72
73
78
84
88
89
89
94
97
102
105
122
127
130
132
135
135
136
137
139
142
144
145
149
151
156
157
158
158
160
160
161
162
163
165
CONTENTS
3.2.2 Characterizing minimal types
3.2.3 An example
3.3 Canonical extensions
3.3.1 Products of types
3.3.2 The automorphism group
3.3.3 The substructure lattice
3.4 Resolute types
3.5 The Paris-Mills theorems
3.6 Exercises
3.7 Remarks References
Substructure Lattices
4.1 Lattices
4.2 Substructure lattices
4.3 Finite distributive lattices, I
4.4 Finite distributive lattices, II
4.5 Finite lattices
4.6 The pentagon lattice
4.7 Infinite distributive lattices
4.8 Exercises
4.0 Remarks Sz References
How to Control Types
5.1 Solid bases and AH-sets
5.1.1 Controlling indiscernibles and
automorphisms
5.1.2 AH-sets
5.1.3 The proof
5.1.4 True arithmetic
5.2 Omitting indiscernibles
5.3 Ilanf numbers
5.4 The automorphism group
5.5 Indiscernible generators
5.6 Exercises
5.7 Remarks ; References
Generics and Forcing
0.1 Generics
6.2 Forcing
6.2.1 Definition
6.2.2 n-Generics
6.2.3 Prime expansions
6.2.4 The Low Basis Theorem
6.3 Product forcing
CONTENTS xiii
6.4 MacDowell-Specker vs the uncountable 167
6.4.1 No end extension 168
6.4.2 Extensions with mutual generics 169
6.4.3 Getting many classes 172
6.5 Perfect generics 175
6.6 Exercises 178
6.7 Remarks References 179
7 Cuts 180
7.1 Semiregular cuts 181
7.1.1 Semiregularity and WKLo 183
7.2 Regular cuts 184
7.3 Many faces of strongness 189
7.4 Why PA? 194
7.4.1 Schemes axiomatizing arithmetic 196
7.5 Exercises 200
7.6 Remarks References 201
8 Automorphisms of Recursively Saturated Models 202
8.1 Moving undefinable elements 202
8.2 Moving cuts and classes 203
8.3 Moving gaps 205
8.4 Back-and-forth 206
8.5 Extending automorphisms 210
8.6 Maximal automorphisms 214
8.7 Fixing strong cuts 217
8.8 Topology on the automorphism group 219
8.9 Maximal point stabilizers 221
8.10 Arithmetic saturation and open subgroups 223
8.11 Exercises 225
8.12 Remarks References 227
9 Automorphism Groups of Recursively
Saturated Models 230
9.1 Generic automorphisms 230
9.2 Dense conjugacy classes 235
9.3 Small index property 239
9.3.1 The cofinality of the automorphism group 242
9.3.2 Property FA 244
9.4 Coding the standard system 245
9.5 The spectrum of automorphism groups 251
9.6 Exercises 253
9.7 Remarks References 254
xiv
CONTENTS
10 oq-like Models 256
10.1 cJi-Like recursively saturated models 256
10.2 Similar nonisomorphic models 260
10.3 Finitely determinate structures and PA(aa) 265
10.4 Ramsey quantifiers and PA(Q2) 269
10.5 Rigid recursively saturated models 273
10.6 Isomorphic + nonisomorphic x 275
10.7 Exercises 276
10.8 Remarks References 278
11 Order Types 281
11.1 On (k, re)-cuts 281
11.2 Saturation of the order rcduct 282
11.2.1 Canonical codes 283
11.2.2 Ki-saturation 283
11.2.3 ^-saturation for k Hi 284
11.3 Exercises 287
11.4 Remarks References 288
12 Twenty Questions 289
References 295
Index of Names 307
Index of Terms 399 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kossak, Roman 1953- Schmerl, James Henry |
| author_GND | (DE-588)113727199X |
| author_facet | Kossak, Roman 1953- Schmerl, James Henry |
| author_role | aut aut |
| author_sort | Kossak, Roman 1953- |
| author_variant | r k rk j h s jh jhs |
| building | Verbundindex |
| bvnumber | BV021841449 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.7 |
| callnumber-search | QA9.7 |
| callnumber-sort | QA 19.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 SK 180 |
| ctrlnum | (OCoLC)64554618 (DE-599)BVBBV021841449 |
| 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 |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02249nam a2200577zcb4500</leader><controlfield tag="001">BV021841449</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240118 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061205s2006 xxk |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2006298586</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA627022</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198568278</subfield><subfield code="9">978-0-19-856827-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198568274</subfield><subfield code="9">0-19-856827-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64554618</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021841449</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="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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">SK 180</subfield><subfield code="0">(DE-625)143222:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kossak, Roman</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113727199X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The structure of models of Peano arithmetic</subfield><subfield code="c">Roman Kossak ; James H. Schmerl</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 311 S.</subfield><subfield code="c">24 cm</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">Oxford logic guides</subfield><subfield code="v">50</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (S. [295]-306) and indexes</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Peano, Giuseppe</subfield><subfield code="d">1858-1932</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Structurele vergelijkingen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Isomorphisms (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Isomorphisms (Mathematics)</subfield><subfield code="v">Problems, exercises, etc</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nonstandard-Logik</subfield><subfield code="0">(DE-588)4171988-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Nonstandard-Logik</subfield><subfield code="0">(DE-588)4171988-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Peano-Arithmetik</subfield><subfield code="0">(DE-588)4290970-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schmerl, James Henry</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">50</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">50</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/fy0702/2006298586.html</subfield><subfield code="3">Table of contents only</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=015053304&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-015053304</subfield></datafield></record></collection> |
| id | DE-604.BV021841449 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:00:34Z |
| indexdate | 2024-07-09T20:45:52Z |
| institution | BVB |
| isbn | 9780198568278 0198568274 |
| language | English |
| lccn | 2006298586 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015053304 |
| oclc_num | 64554618 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-11 DE-20 |
| owner_facet | DE-19 DE-BY-UBM DE-11 DE-20 |
| physical | XIV, 311 S. 24 cm |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Kossak, Roman 1953- Verfasser (DE-588)113727199X aut The structure of models of Peano arithmetic Roman Kossak ; James H. Schmerl Oxford Clarendon Press 2006 XIV, 311 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 50 Includes bibliographical references (S. [295]-306) and indexes Peano, Giuseppe 1858-1932 Logica gtt Structurele vergelijkingen gtt Logik Logic, Symbolic and mathematical Logic, Symbolic and mathematical Problems, exercises, etc Isomorphisms (Mathematics) Isomorphisms (Mathematics) Problems, exercises, etc Nonstandard-Logik (DE-588)4171988-8 gnd rswk-swf Peano-Arithmetik (DE-588)4290970-3 gnd rswk-swf Nonstandard-Logik (DE-588)4171988-8 s Peano-Arithmetik (DE-588)4290970-3 s DE-604 Schmerl, James Henry Verfasser aut Oxford logic guides 50 (DE-604)BV000013997 50 http://www.loc.gov/catdir/toc/fy0702/2006298586.html Table of contents only HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015053304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kossak, Roman 1953- Schmerl, James Henry The structure of models of Peano arithmetic Oxford logic guides Peano, Giuseppe 1858-1932 Logica gtt Structurele vergelijkingen gtt Logik Logic, Symbolic and mathematical Logic, Symbolic and mathematical Problems, exercises, etc Isomorphisms (Mathematics) Isomorphisms (Mathematics) Problems, exercises, etc Nonstandard-Logik (DE-588)4171988-8 gnd Peano-Arithmetik (DE-588)4290970-3 gnd |
| subject_GND | (DE-588)4171988-8 (DE-588)4290970-3 |
| title | The structure of models of Peano arithmetic |
| title_auth | The structure of models of Peano arithmetic |
| title_exact_search | The structure of models of Peano arithmetic |
| title_exact_search_txtP | The structure of models of Peano arithmetic |
| title_full | The structure of models of Peano arithmetic Roman Kossak ; James H. Schmerl |
| title_fullStr | The structure of models of Peano arithmetic Roman Kossak ; James H. Schmerl |
| title_full_unstemmed | The structure of models of Peano arithmetic Roman Kossak ; James H. Schmerl |
| title_short | The structure of models of Peano arithmetic |
| title_sort | the structure of models of peano arithmetic |
| topic | Peano, Giuseppe 1858-1932 Logica gtt Structurele vergelijkingen gtt Logik Logic, Symbolic and mathematical Logic, Symbolic and mathematical Problems, exercises, etc Isomorphisms (Mathematics) Isomorphisms (Mathematics) Problems, exercises, etc Nonstandard-Logik (DE-588)4171988-8 gnd Peano-Arithmetik (DE-588)4290970-3 gnd |
| topic_facet | Peano, Giuseppe 1858-1932 Logica Structurele vergelijkingen Logik Logic, Symbolic and mathematical Logic, Symbolic and mathematical Problems, exercises, etc Isomorphisms (Mathematics) Isomorphisms (Mathematics) Problems, exercises, etc Nonstandard-Logik Peano-Arithmetik |
| url | http://www.loc.gov/catdir/toc/fy0702/2006298586.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015053304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT kossakroman thestructureofmodelsofpeanoarithmetic AT schmerljameshenry thestructureofmodelsofpeanoarithmetic |