A simple construction of representable relation algebras with non-representable completions

✍ Scribed by Tarek Sayed Ahmed

• Publisher: John Wiley and Sons
• Year: 2009
• Tongue: English
• Weight: 112 KB
• Volume: 55
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200710075

✦ Synopsis

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)