𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Equational Theory of Representable Polyadic Equality Algebras

✍ Scribed by István Németi and Gábor Sági


Book ID
124978569
Publisher
Association for Symbolic Logic
Year
2000
Tongue
English
Weight
516 KB
Volume
65
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On the complexity of axiomatizations of
✍ Tarek Sayed Ahmed 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB

## MSC (2010) Primary: 03G15 Using games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA α of representable quasi-polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka's methods of splitting,