|
|||||
|
|
A simple construction of representable relation algebras with non‐representable completions |
|
| Authors: | Tarek Sayed Ahmed |
| 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) |
| Keywords: | Algebraic logic relation algebras completions |