Models and games:
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tablea...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2011
|
| Series: | Cambridge studies in advanced mathematics
132 |
| Subjects: | |
| Online Access: | DE-12 DE-92 DE-355 Volltext |
| Summary: | This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications |
| Item Description: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Physical Description: | 1 Online-Ressource (ix, 367 Seiten) |
| ISBN: | 9780511974885 |
| DOI: | 10.1017/CBO9780511974885 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043942086 | ||
| 003 | DE-604 | ||
| 005 | 20250626 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2011 xx o|||| 00||| eng d | ||
| 020 | |a 9780511974885 |c Online |9 978-0-511-97488-5 | ||
| 024 | 7 | |a 10.1017/CBO9780511974885 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511974885 | ||
| 035 | |a (OCoLC)839017976 | ||
| 035 | |a (DE-599)BVBBV043942086 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-355 |a DE-83 | ||
| 082 | 0 | |a 511.34 |2 22 | |
| 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 Väänänen |
| 246 | 1 | 3 | |a Models & Games |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2011 | |
| 300 | |a 1 Online-Ressource (ix, 367 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Cambridge studies in advanced mathematics |v 132 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | |a Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers | |
| 520 | |a This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications | ||
| 650 | 4 | |a Model theory | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |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 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-0-521-51812-3 |
| 830 | 0 | |a Cambridge studies in advanced mathematics |v 132 |w (DE-604)BV044781283 |9 132 | |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511974885 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-20-CBO | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029351056 | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511974885 |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511974885 |l DE-92 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511974885 |l DE-355 |p ZDB-20-CBO |q UBR Einzelkauf (Lückenergänzung CUP Serien 2018) |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1836000429007175680 |
|---|---|
| adam_text | |
| any_adam_object | |
| 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 | BV043942086 |
| classification_rvk | CC 2400 SK 130 |
| collection | ZDB-20-CBO |
| contents | Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers |
| ctrlnum | (ZDB-20-CBO)CR9780511974885 (OCoLC)839017976 (DE-599)BVBBV043942086 |
| 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 |
| doi_str_mv | 10.1017/CBO9780511974885 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV043942086</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250626</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2011 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511974885</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-97488-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511974885</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511974885</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839017976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043942086</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.34</subfield><subfield code="2">22</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 Väänänen</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Models & Games</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 367 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</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="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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-521-51812-3</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)BV044781283</subfield><subfield code="9">132</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511974885</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029351056</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974885</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974885</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511974885</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBR Einzelkauf (Lückenergänzung CUP Serien 2018)</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV043942086 |
| illustrated | Not Illustrated |
| indexdate | 2025-06-26T14:00:54Z |
| institution | BVB |
| isbn | 9780511974885 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029351056 |
| oclc_num | 839017976 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-355 DE-BY-UBR DE-83 |
| owner_facet | DE-12 DE-92 DE-355 DE-BY-UBR DE-83 |
| physical | 1 Online-Ressource (ix, 367 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UBR Einzelkauf (Lückenergänzung CUP Serien 2018) |
| 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 Väänänen Models & Games Cambridge Cambridge University Press 2011 1 Online-Ressource (ix, 367 Seiten) txt rdacontent c rdamedia cr rdacarrier Cambridge studies in advanced mathematics 132 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications Model theory Modelltheorie (DE-588)4114617-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Modelltheorie (DE-588)4114617-7 s Erscheint auch als Druck-Ausgabe 978-0-521-51812-3 Cambridge studies in advanced mathematics 132 (DE-604)BV044781283 132 https://doi.org/10.1017/CBO9780511974885 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Väänänen, Jouko 1950- Models and games Cambridge studies in advanced mathematics Introduction -- Preliminaries and notation -- Games -- Graphs -- Models -- First-order logic -- Infinitary logic -- Model theory of infinitary logic -- Stronger infinitary logics -- Generalized quantifiers Model theory Modelltheorie (DE-588)4114617-7 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Models and games |
| title_alt | Models & Games |
| title_auth | Models and games |
| title_exact_search | Models and games |
| title_full | Models and games Jouko Väänänen |
| title_fullStr | Models and games Jouko Väänänen |
| title_full_unstemmed | Models and games Jouko Väänänen |
| title_short | Models and games |
| title_sort | models and games |
| topic | Model theory Modelltheorie (DE-588)4114617-7 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Model theory Modelltheorie Logik Einführung |
| url | https://doi.org/10.1017/CBO9780511974885 |
| volume_link | (DE-604)BV044781283 |
| work_keys_str_mv | AT vaananenjouko modelsandgames AT vaananenjouko modelsgames |