Relation algebras by games. (2002)

• Record Type: Book
• Further Information: Note: Robin Hirsch, Ian Hodkinson.
• Other Names: Hirsch, R (Robin); Hodkinson, Ian
• Contents: 1. Introduction -- I. Algebras of Relations -- 2. Preliminaries -- 3. Binary relations and relation algebra -- 4. Examples of relation algebras -- 5. Relativisation and cylindric algebras -- 6. Other approaches to algebras of relations -- II. Games -- 7. Games and networks -- 8. Axiomatising representable relation algebras and cylindric algebras -- 9. Axiomatising pseudo-elementary classes -- 10. Game trees -- 11. Atomic networks -- III. Approximations -- 12. Relational, cylindric, and hyperbases -- 13. Approximations to RRA -- IV. Constructing Relation Algebras -- 14. Strongly representable relation algebra atom structures -- 15. Non-finite axiomatisability of SRaCA[subscript n+1] over SRaCA[subscript n] -- 16. The rainbow construction for relation algebras -- 17. Applying the rainbow construction -- V. Decidability -- 18. Undecidability of the representation problem for finite algebras -- 19. Finite base property -- VI. Epilogue -- 20. Brief summary -- 21. Problems.
• Publisher Details: Place of publication not identified : North Holland
• Publication Date: 2002
• Extent: 1 online resource (710 pages)
• Subjects: 511/.3; Relation algebras; Game theory; Algèbres des relations; Jeux, Théorie des; Game theory; Relation algebras; Algebraïsche logica; Relaties (logica); Speltheorie; Universele algebra; Spieltheorie; Algebraisierbare Logik; Relationenalgebra; Modelltheorie; Algèbres des relations; Jeux, Théorie des; Relationenalgebra; Spieltheorie
• Languages: English
• ISBNs: 9780080540450; 0080540457
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.