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.

PDF file.