О независимо разбиваемых системах квазитождеств

Abstract

Доказано, что существует квазимногообразие, содержащее 2ω подквазимногообразий, имеющих относительно этого квазимногообразия конечно независимо разбиваемый базис квазитождеств и не имеющих относительно него независимого базиса квазитождеств.

We construct a quasivariety К which contains 2ω subquasivarieties such that each of them has no irreducible quasiidentity basis with respect to Κ but has a basis Σ (with respect to Κ) that can be partitioned as Σ = UΣn such that each Σn is finite and qvarΣ ≠ qvarΣ\Σn.