On the \(\aleph\)-identity of epimorphy and embeddability relations on quasivarieties (Q1278059)

The present article is devoted to the question of mutual conditioning of both the epimorphism relation and the embeddability relation on the algebras of some varieties (quasivarieties). In an earlier paper [Algebra Logic 24, 388-401 (1985); translation from Algebra Logika 24, No. 5, 588-607 (1985; Zbl 0619.08005)], the author proved the finitary independence of these relations for the algebras of any nontrivial congruence-distributive variety with extendible congruences. On the other hand, the existence of large sets of algebras of the class under consideration, on which these relations coincide, is of interest. In the author's monograph: Boolean constructions in universal algebras (1993; Zbl 0792.08001) it was proved that for any cardinal \(\aleph\geq\aleph_0\) in any nontrivial congruence-distributive variety \({\mathfrak M}\) with extendible congruences, a set of \({\mathfrak M}\)-algebras possessing the cardinality \(2^\aleph\) can be found such that the epimorphism relation and the embeddability relation between these algebras coincide; what is more, this set with these relations is isomorphic to the set of all subsets of a certain set with the cardinality \(2^\aleph\) with the inclusion relation of set theory. It is known that for countable \({\mathfrak M}\)-algebras a similar result is, generally speaking, not valid. In the present article we give some sufficient conditions under which an analogous result takes place for countable algebras of a series of varieties (quasivarieties).