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.

Postscript file