A simple construction of representable relation algebras with non‐representable completions
Tarek Sayed Ahmed · Mathematical logic quarterly · 2009
Abstract We give a simple new construction of representable relation algebras with non‐representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)