Showing 2025Show all
2 papers · 1 filter
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.RA2025
The theory of implicit operations
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
A family of partial functions of a class of algebras is said to be an implicit operation of when it is defined by a first order formula and it is preserve…