Axiomatising various classes in algebraic logic
Robin Hirsch and Ian Hodkinson
This is a short summary of much of the material on games and representations that appears in more detail in the articles "Step by step" and "Complete representations in algebraic logic". Shows how to axiomatise the representable relation algebras and cylindric algebras.