𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Complete Representations of Reducts of Polyadic Algebras

✍ Scribed by Tarek Sayed Ahmed


Publisher
Springer Netherlands
Year
2008
Tongue
English
Weight
192 KB
Volume
89
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The class of infinite dimensional neat r
✍ Tarek Sayed Ahmed πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 135 KB πŸ‘ 1 views

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. Let Ο‰ ≀ Ξ± < Ξ² and let K ∈ {SC, CA, QA, QEA}. We show that the class of Ξ±-dimensional neat reducts of algebras in K

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,