𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A non-representable cylindric algebra with pairing functions

✍ Scribed by I. Németi

Publisher
Springer
Year
1986
Tongue
English
Weight
147 KB
Volume
22
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A simple construction of representable r
A simple construction of representable relation algebras with non-representable completions
✍ Tarek Sayed Ahmed 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

## 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 V

A note on substitutions in representable
A note on substitutions in representable cylindric algebras
✍ Tarek Sayed Ahmed 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 121 KB 👁 1 views

## Abstract We show that it is impossible to define a substitution operator for arbitrary representable cylindric algebras that agrees in its basic properties with the notion of substitutions introduced for dimension complemented algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)