Cargando…
Relation algebras by games /
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 rel...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
North Holland/Elsevier,
2002.
|
| Edición: | 1st ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 147. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162130999 | ||
| 003 | OCoLC | ||
| 005 | 20231117014848.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802s2002 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OPELS |d OCLCQ |d N$T |d YDXCP |d MERUC |d IDEBK |d TULIB |d OCLCO |d OCLCQ |d OPELS |d OCLCF |d DEBBG |d OCLCQ |d DEBSZ |d OCLCQ |d D6H |d NLE |d OCLCO |d LEAUB |d OL$ |d BWN |d NLW |d OCLCO |d OCLCQ |d OCLCO |d COM |d OCLCQ |d OCLCO | ||
| 019 | |a 180906391 |a 441801929 |a 779920329 |a 823829415 |a 823899117 |a 824090394 |a 824137930 |a 989427222 |a 1110361416 | ||
| 020 | |a 9780444509321 | ||
| 020 | |a 0444509321 | ||
| 020 | |a 9780080540450 |q (electronic bk.) | ||
| 020 | |a 0080540457 |q (electronic bk.) | ||
| 020 | |a 1281048542 | ||
| 020 | |a 9781281048547 | ||
| 035 | |a (OCoLC)162130999 |z (OCoLC)180906391 |z (OCoLC)441801929 |z (OCoLC)779920329 |z (OCoLC)823829415 |z (OCoLC)823899117 |z (OCoLC)824090394 |z (OCoLC)824137930 |z (OCoLC)989427222 |z (OCoLC)1110361416 | ||
| 050 | 4 | |a QA10 |b .H57 2002eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a PBF |2 bicssc | |
| 082 | 0 | 4 | |a 511/.3 |2 22 |
| 100 | 1 | |a Hirsch, R. |q (Robin) | |
| 245 | 1 | 0 | |a Relation algebras by games / |c Robin Hirsch, Ian Hodkinson. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam ; |a Boston : |b North Holland/Elsevier, |c 2002. | ||
| 300 | |a 1 online resource (xvii, 691 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics, |x 0049-237X ; |v v. 147 | |
| 520 | |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. 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. | ||
| 504 | |a Includes bibliographical references (pages 629-654) and indexes. | ||
| 505 | 0 | |a Introduction -- Preliminaries -- Binary relations and relation algebra -- Examples of relation algebras -- Relativisation and cylindric algebras -- Other approaches to algebras of relations -- Games and networks -- Axiomatising representable relation algebras and cylindric algebras -- Axiomatising pseudo-elementary classes -- Game trees -- Atomic networks -- Relational, cylindric, and hyperbases -- Approximations to RRA -- Strongly representable relation algabra atom structures -- Non-finite axiomatisability of SRaCAn+1 over SRaCAn -- The rainbow construction for relation algebras -- Applying the rainbow construction -- Undecidability of the representation problem for finite algebras -- Finite base property -- Brief summary -- Problems. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Relation algebras. | |
| 650 | 0 | |a Game theory. | |
| 650 | 2 | |a Game Theory |0 (DNLM)D005716 | |
| 650 | 6 | |a Alg�ebres des relations. |0 (CaQQLa)201-0258496 | |
| 650 | 6 | |a Th�eorie des jeux. |0 (CaQQLa)201-0007580 | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Game theory |2 fast |0 (OCoLC)fst00937501 | |
| 650 | 7 | |a Relation algebras |2 fast |0 (OCoLC)fst01093574 | |
| 650 | 7 | |a Spieltheorie |2 gnd |0 (DE-588)4056243-8 | |
| 650 | 7 | |a Algebraisierbare Logik |2 gnd |0 (DE-588)4210073-2 | |
| 650 | 7 | |a Relationenalgebra |2 gnd |0 (DE-588)4206494-6 | |
| 650 | 7 | |a Modelltheorie |2 gnd |0 (DE-588)4114617-7 | |
| 650 | 1 | 7 | |a Algebra�ische logica. |2 gtt |
| 650 | 1 | 7 | |a Relaties (logica) |2 gtt |
| 650 | 1 | 7 | |a Speltheorie. |2 gtt |
| 650 | 1 | 7 | |a Universele algebra. |2 gtt |
| 700 | 1 | |a Hodkinson, Ian. | |
| 776 | 0 | 8 | |i Print version: |a Hirsch, R. (Robin). |t Relation algebras by games. |b 1st ed. |d Amsterdam ; Boston : North Holland/Elsevier, 2002 |z 0444509321 |z 9780444509321 |w (DLC) 2002026480 |w (OCoLC)50064504 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 147. |x 0049-237X | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444509321 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=147 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/147 |z Texto completo |