Research Catalog

Title

Relation algebras by games / Robin Hirsch, Ian Hodkinson.

Author

Hirsch, R. (Robin)

Publication

Amsterdam ; Boston : North Holland/Elsevier, 2002.

Items in the Library & Off-site

Details

Additional Authors

Hodkinson, Ian

Description

xvii, 691 p. : ill.; 23 cm.

Series Statement

Studies in logic and the foundations of mathematics, 0049-237X ; v. 147

Uniform Title

Studies in logic and the foundations of mathematics v. 147.

Subject

• Game Theory
• Game theory
• Relation algebras

Bibliography (note)

• Includes bibliographical references (p. 629-654) and indexes.

Processing Action (note)

• committed to retain

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.

ISBN

0444509321 (acid-free paper)

LCCN

^^2002026480

OCLC

50064504

Owning Institutions

Harvard Library