✦ LIBER ✦

Axiomatizability of representable domain algebras

✍ Scribed by Robin Hirsch; Szabolcs Mikulás

Book ID: 113720742
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 517 KB
Volume: 80
Category: Article
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2010.07.019

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Representable varieties of algebras

✍ A. Z. Anan'in 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 801 KB

Axiomatizability of reducts of algebras

Axiomatizability of reducts of algebras of relations

✍ Ian Hodkinson; Szabolcs Mikulás 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 216 KB

Representations of Algebraic Domains and

Representations of Algebraic Domains and Algebraic L-domains by Information Systems

✍ Wu, Mingyuan; Li, Qingguo; Zhou, Xiangnan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Finitely axiomatizable varieties of BCK-

Finitely axiomatizable varieties of BCK-algebras

✍ Barbara Woźniakowska 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 211 KB

Axiomatizability of a projection of a un

Axiomatizability of a projection of a universally axiomatizable class of algebraic systems

✍ R. R. Shagidullin 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 279 KB

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