Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
Published 2024-02-22, updated 2024-06-12Version 2
A quasivariety has the weak ES property when the epimorphisms between its finitely generated members are surjective. A characterization of quasivarieties with the weak ES property is obtained and a method for detecting failures of this property in quasivarieties with a near unanimity term and in congruence permutable varieties is given. It is also shown that under reasonable assumptions the weak ES property implies arithmeticity. In particular, every filtral variety with the weak ES property is a discriminator variety.
On structural completeness vs almost structural completeness problem: A discriminator varieties case study
Free algebras of discriminator varieties generated by finite algebras are atomic
Epimorphisms, definability and cardinalities
![QR code for arXiv:2402.14745 [math.LO]](http://oss.arxitics.com/images/favicon.svg)