Showing math.LOShow all
3 papers · 1 filter
math.LO2026
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…
math.LO2025
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…
math.LO2024
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…