
doi: 10.1007/pl00000336
A variety \(\mathcal V\) is minimal if it is equationally complete. A quasivariety is called \(Q\)-universal if for every quasivariety \(K\) of a finite type the lattice \(L_Q (K)\) of all subquasivarieties is a homomorphic image of \(L_Q (Q)\). The author studies varieties \(C_{mn}\) of the so-called Cantor algebras (firstly treated in the early 60s by S. Swierczkowski as algebras having finite bases of different cardinalities). The main results are: (1) \(C_{1n}\) is a minimal variety for each \(n\) (2) \(C_{mn}\) are \(Q\)-universal for all \(1\leq m\leq n\).
variety, quasivariety lattice, Varieties, Subalgebras, congruence relations, Cantor algebra, Quasivarieties
variety, quasivariety lattice, Varieties, Subalgebras, congruence relations, Cantor algebra, Quasivarieties
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
