Models and games:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge University Press
2011
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge studies in advanced mathematics
132 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 367 S. Ill., graph. Darst. 23 cm |
| ISBN: | 9780521518123 0521518121 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037480512 | ||
| 003 | DE-604 | ||
| 005 | 20140402 | ||
| 007 | t | ||
| 008 | 110617s2011 ad|| |||| 00||| und d | ||
| 020 | |a 9780521518123 |c (hbk.) £40.00 |9 978-0-521-51812-3 | ||
| 020 | |a 0521518121 |c (hbk.) £40.00 |9 0-521-51812-1 | ||
| 035 | |a (OCoLC)729995541 | ||
| 035 | |a (DE-599)BSZ344997103 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | |a und | ||
| 049 | |a DE-19 |a DE-20 |a DE-703 | ||
| 082 | 0 | |a 511.34 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Väänänen, Jouko |d 1950- |e Verfasser |0 (DE-588)121630544 |4 aut | |
| 245 | 1 | 0 | |a Models and games |c Jouko Vaananen |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge University Press |c 2011 | |
| 300 | |a IX, 367 S. |b Ill., graph. Darst. |c 23 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge studies in advanced mathematics |v 132 | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 653 | |a Model theory | ||
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Cambridge studies in advanced mathematics |v 132 |w (DE-604)BV000003678 |9 132 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022632101&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-022632101 | ||
Datensatz im Suchindex
| _version_ | 1804145791063818240 |
|---|---|
| adam_text | Contents
Preface
page
*>
1
Introduction
1
2
Preliminaries and Notation
3
2.1
Finite Sequences
3
2.2
Equipollence
5
2.3
Countable sets
6
2.4
Ordinals
7
2.5
Cardinals
9
2.6
Axiom of Choice
10
2.7
Historical Remarks and References
11
Exercises
1 1
3
Games
14
3.1
Introduction
14
3.2
Two-Person Games of Perfect Information
14
3.3
The Mathematical Concept of Game
20
3.4
Game Positions
21
3.5
Infinite Games
24
3.6
Historical Remarks and References
28
Exercises
28
4
Graphs
35
4.1
Introduction
35
4.2
First-Order Language of Graphs
35
4.3
The
Ehren
feucht-Fraïssé
Game on Graphs
38
4.4
Ehrenfeucht-Fraïssé
Games and Elementary Equivalence
43
4.5
Historical Remarks and References
48
Exercises
49
viii
Contents
5 Models 53
5.1
Introduction
53
5.2 Basic
Concepts
54
5.3
Substructures
62
5.4
Back-and-Forth Sets
63
5.5
The
Ehrenfeucht-Fraïssé
Game
65
5.6
Back-and-Forth Sequences
69
5.7
Historical Remarks and References
71
Exercises
71
6
First-Order Logic
79
6.1
Introduction
79
6.2
Basic Concepts
79
6.3
Characterizing Elementary Equivalence
81
6.4
The
Löwenheim-Skolem
Theorem
85
6.5
The Semantic Game
93
6.6
The Model Existence Game
98
6.7
Applications
102
6.8
Interpolation
107
6.9
Uncountable Vocabularies
113
6.10
Ultraproducts
119
6.11
Historical Remarks and References
125
Exercises
126
7
Infìnitary
Logic
139
7.1
Introduction
139
7.2
Preliminary Examples
139
7.3
The Dynamic
Ehrenfeucht-Fraïssé
Game
144
7.4
Syntax and Semantics of Infinitary Logic
157
7.5
Historical Remarks and References
170
Exercises
171
8
Model Theory of Infinitary Logic
176
8.1
Introduction
176
8.2 Löwenheim—
Skolem Theorem for Loo^
176
8.3
Model Theory of
LWlU,
179
8.4
Large Models
184
8.5
Model Theory of LK+UJ
191
8.6
Game Logic
201
8.7
Historical Remarks and References
222
Exercises
223
Contents ix
9
Stronger Infinitary Logics
228
9.1
Introduction
228
9.2
Infinite Quantifier Logic
228
9.3
The
Transfinite
Ehrenfeucht-Fraïssé
Game
249
9.4
A Quasi-Order of Partially Ordered Sets
254
9.5
The
Transfinite
Dynamic
Ehrenfeucht-Fraïssé
Game
258
9.6
Topology of Uncountable Models
270
9.7
Historical Remarks and References
275
Exercises
278
10
Generalized Quantifiers
283
10.1
Introduction
283
10.2
Generalized Quantifiers
284
10.3
The
Ehrenfeucht-Fraïssé
Game of
Q
296
10.4
First-Order Logic with a Generalized Quantifier
307
10.5
Ułtraproducts
and Generalized Quantifiers
312
1
0.6
Axioms for Generalized Quantifiers
314
10.7
The Cofinality Quantifier
333
10.8
Historical Remarks and References
342
Exercises
343
References
353
index
362
|
| any_adam_object | 1 |
| author | Väänänen, Jouko 1950- |
| author_GND | (DE-588)121630544 |
| author_facet | Väänänen, Jouko 1950- |
| author_role | aut |
| author_sort | Väänänen, Jouko 1950- |
| author_variant | j v jv |
| building | Verbundindex |
| bvnumber | BV037480512 |
| classification_rvk | CC 2400 SK 130 |
| ctrlnum | (OCoLC)729995541 (DE-599)BSZ344997103 |
| dewey-full | 511.34 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.34 |
| dewey-search | 511.34 |
| dewey-sort | 3511.34 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01758nam a2200445 cb4500</leader><controlfield tag="001">BV037480512</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140402 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110617s2011 ad|| |||| 00||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521518123</subfield><subfield code="c">(hbk.) £40.00</subfield><subfield code="9">978-0-521-51812-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521518121</subfield><subfield code="c">(hbk.) £40.00</subfield><subfield code="9">0-521-51812-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)729995541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ344997103</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.34</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</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="100" ind1="1" ind2=" "><subfield code="a">Väänänen, Jouko</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)121630544</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models and games</subfield><subfield code="c">Jouko Vaananen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 367 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">23 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">Cambridge studies in advanced mathematics</subfield><subfield code="v">132</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Model theory</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-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">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</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">Cambridge studies in advanced mathematics</subfield><subfield code="v">132</subfield><subfield code="w">(DE-604)BV000003678</subfield><subfield code="9">132</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment</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=022632101&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-022632101</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV037480512 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T23:25:03Z |
| institution | BVB |
| isbn | 9780521518123 0521518121 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022632101 |
| oclc_num | 729995541 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-20 DE-703 |
| owner_facet | DE-19 DE-BY-UBM DE-20 DE-703 |
| physical | IX, 367 S. Ill., graph. Darst. 23 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge University Press |
| record_format | marc |
| series | Cambridge studies in advanced mathematics |
| series2 | Cambridge studies in advanced mathematics |
| spelling | Väänänen, Jouko 1950- Verfasser (DE-588)121630544 aut Models and games Jouko Vaananen 1. publ. Cambridge [u.a.] Cambridge University Press 2011 IX, 367 S. Ill., graph. Darst. 23 cm txt rdacontent n rdamedia nc rdacarrier Cambridge studies in advanced mathematics 132 Logik (DE-588)4036202-4 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Model theory (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Modelltheorie (DE-588)4114617-7 s Cambridge studies in advanced mathematics 132 (DE-604)BV000003678 132 Digitalisierung UB Bayreuth - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022632101&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Väänänen, Jouko 1950- Models and games Cambridge studies in advanced mathematics Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4114617-7 (DE-588)4151278-9 |
| title | Models and games |
| title_auth | Models and games |
| title_exact_search | Models and games |
| title_full | Models and games Jouko Vaananen |
| title_fullStr | Models and games Jouko Vaananen |
| title_full_unstemmed | Models and games Jouko Vaananen |
| title_short | Models and games |
| title_sort | models and games |
| topic | Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Logik Modelltheorie Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022632101&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000003678 |
| work_keys_str_mv | AT vaananenjouko modelsandgames |