𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Class of Prime Semilattices is Not Finitely Axiomatizable

✍ Scribed by Keith A. Kearnes

Book ID
105744344
Publisher
Springer
Year
1997
Tongue
English
Weight
101 KB
Volume
55
Category
Article
ISSN
0037-1912

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The class of infinite dimensional neat r
The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
✍ 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

The variety of Kleene algebras with conv
The variety of Kleene algebras with conversion is not finitely based
✍ S. CrvenkoviΔ‡; I. Dolinka; Z. Γ‰sik πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 107 KB

Given an arbitrary set A, one obtains the full Kleene algebra of binary relations over A by considering the operations of union, composition, re exive-transitive closure, conversion, and the empty set and the identity relation as constants. Such algebras generate the variety of Kleene algebras (with