Relation algebras by games:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North Holland/Elsevier
2002
|
| Ausgabe: | 1st ed |
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 147 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games. After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises. The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise Includes bibliographical references (pages 629-654) and indexes |
| Beschreibung: | 1 Online-Ressource (xvii, 691 pages) |
| ISBN: | 9780444509321 0444509321 9780080540450 0080540457 1281048542 9781281048547 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317283 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444509321 |9 978-0-444-50932-1 | ||
| 020 | |a 0444509321 |9 0-444-50932-1 | ||
| 020 | |a 9780080540450 |c electronic bk. |9 978-0-08-054045-0 | ||
| 020 | |a 0080540457 |c electronic bk. |9 0-08-054045-7 | ||
| 020 | |a 1281048542 |9 1-281-04854-2 | ||
| 020 | |a 9781281048547 |9 978-1-281-04854-7 | ||
| 035 | |a (ZDB-33-EBS)ocn162130999 | ||
| 035 | |a (OCoLC)162130999 | ||
| 035 | |a (DE-599)BVBBV042317283 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511/.3 |2 22 | |
| 100 | 1 | |a Hirsch, R., (Robin) |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Relation algebras by games |c Robin Hirsch, Ian Hodkinson |
| 250 | |a 1st ed | ||
| 264 | 1 | |a Amsterdam |b North Holland/Elsevier |c 2002 | |
| 300 | |a 1 Online-Ressource (xvii, 691 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 147 | |
| 500 | |a Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games. After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. | ||
| 500 | |a In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises. The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. | ||
| 500 | |a Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise | ||
| 500 | |a Includes bibliographical references (pages 629-654) and indexes | ||
| 650 | 4 | |a Algèbres des relations | |
| 650 | 4 | |a Jeux, Théorie des | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Game theory |2 fast | |
| 650 | 7 | |a Relation algebras |2 fast | |
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 7 | |a Relaties (logica) |2 gtt | |
| 650 | 7 | |a Speltheorie |2 gtt | |
| 650 | 7 | |a Universele algebra |2 gtt | |
| 650 | 4 | |a Relation algebras | |
| 650 | 4 | |a Game theory | |
| 650 | 0 | 7 | |a Relationenalgebra |0 (DE-588)4206494-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spieltheorie |0 (DE-588)4056243-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Relationenalgebra |0 (DE-588)4206494-6 |D s |
| 689 | 0 | 1 | |a Spieltheorie |0 (DE-588)4056243-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Hodkinson, Ian |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444509321 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754273 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152913545658368 |
|---|---|
| any_adam_object | |
| author | Hirsch, R., (Robin) |
| author_facet | Hirsch, R., (Robin) |
| author_role | aut |
| author_sort | Hirsch, R., (Robin) |
| author_variant | r r h rr rrh |
| building | Verbundindex |
| bvnumber | BV042317283 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162130999 (OCoLC)162130999 (DE-599)BVBBV042317283 |
| 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 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 1st ed |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04440nmm a2200685zcb4500</leader><controlfield tag="001">BV042317283</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444509321</subfield><subfield code="9">978-0-444-50932-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444509321</subfield><subfield code="9">0-444-50932-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080540450</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-054045-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080540457</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-054045-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281048542</subfield><subfield code="9">1-281-04854-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281048547</subfield><subfield code="9">978-1-281-04854-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162130999</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162130999</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317283</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="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hirsch, R., (Robin)</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relation algebras by games</subfield><subfield code="c">Robin Hirsch, Ian Hodkinson</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North Holland/Elsevier</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xvii, 691 pages)</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="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">v. 147</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games. After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises. The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. </subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 629-654) and indexes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbres des relations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Jeux, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Game theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Relation algebras</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Relaties (logica)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Speltheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Universele algebra</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relation algebras</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Game theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hodkinson, Ian</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444509321</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754273</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.BV042317283 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444509321 0444509321 9780080540450 0080540457 1281048542 9781281048547 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754273 |
| oclc_num | 162130999 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (xvii, 691 pages) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | North Holland/Elsevier |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Hirsch, R., (Robin) Verfasser aut Relation algebras by games Robin Hirsch, Ian Hodkinson 1st ed Amsterdam North Holland/Elsevier 2002 1 Online-Ressource (xvii, 691 pages) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 147 Relation algebras are algebras arising from the study of binary relations. They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games. After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises. The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise Includes bibliographical references (pages 629-654) and indexes Algèbres des relations Jeux, Théorie des MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Game theory fast Relation algebras fast Algebraïsche logica gtt Relaties (logica) gtt Speltheorie gtt Universele algebra gtt Relation algebras Game theory Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Spieltheorie (DE-588)4056243-8 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 s Spieltheorie (DE-588)4056243-8 s 1\p DE-604 Hodkinson, Ian Sonstige oth http://www.sciencedirect.com/science/book/9780444509321 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hirsch, R., (Robin) Relation algebras by games Algèbres des relations Jeux, Théorie des MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Game theory fast Relation algebras fast Algebraïsche logica gtt Relaties (logica) gtt Speltheorie gtt Universele algebra gtt Relation algebras Game theory Relationenalgebra (DE-588)4206494-6 gnd Spieltheorie (DE-588)4056243-8 gnd |
| subject_GND | (DE-588)4206494-6 (DE-588)4056243-8 |
| title | Relation algebras by games |
| title_auth | Relation algebras by games |
| title_exact_search | Relation algebras by games |
| title_full | Relation algebras by games Robin Hirsch, Ian Hodkinson |
| title_fullStr | Relation algebras by games Robin Hirsch, Ian Hodkinson |
| title_full_unstemmed | Relation algebras by games Robin Hirsch, Ian Hodkinson |
| title_short | Relation algebras by games |
| title_sort | relation algebras by games |
| topic | Algèbres des relations Jeux, Théorie des MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Game theory fast Relation algebras fast Algebraïsche logica gtt Relaties (logica) gtt Speltheorie gtt Universele algebra gtt Relation algebras Game theory Relationenalgebra (DE-588)4206494-6 gnd Spieltheorie (DE-588)4056243-8 gnd |
| topic_facet | Algèbres des relations Jeux, Théorie des MATHEMATICS / Infinity MATHEMATICS / Logic Game theory Relation algebras Algebraïsche logica Relaties (logica) Speltheorie Universele algebra Relationenalgebra Spieltheorie |
| url | http://www.sciencedirect.com/science/book/9780444509321 |
| work_keys_str_mv | AT hirschrrobin relationalgebrasbygames AT hodkinsonian relationalgebrasbygames |