4 papers · 1 filter
Bounded depth in Hilbert algebras
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
Hilbert algebras are the implicative subreducts of Heyting algebras. It is shown that having depth at most n is an equational condition in Hilbert algebras. This generalizes an ana…
Congruence permutability in quasivarieties
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
It is shown that a natural notion of congruence permutability for quasivarieties already implies ``being a variety''. The result follows immediately from [3] and the sole aim of th…
On the universal theory of the free pseudocomplemented distributive lattice
Luca Carai, Tommaso Moraschini
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of…
Epimorphisms between finitely generated algebras
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
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…