Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008989961/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b12634676.
- catalog contributor b12634677.
- catalog created "2002.".
- catalog date "2002".
- catalog date "2002.".
- catalog dateCopyrighted "2002.".
- catalog description "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.".
- catalog description "Includes bibliographical references (p. 629-654) and indexes.".
- catalog extent "xvii, 691 p. :".
- catalog identifier "0444509321 (acid-free paper)".
- catalog isPartOf "Studies in logic and the foundations of mathematics, 0049-237X ; v. 147".
- catalog issued "2002".
- catalog issued "2002.".
- catalog language "eng".
- catalog publisher "Amsterdam ; Boston : North Holland/Elsevier,".
- catalog subject "511/.3 21".
- catalog subject "Game theory.".
- catalog subject "QA10 .H57 2002".
- catalog subject "Relation algebras.".
- catalog tableOfContents "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.".
- catalog title "Relation algebras by games / Robin Hirsch, Ian Hodkinson.".
- catalog type "text".