2 papers
math.RA2026
Implicit operations in varieties of commutative monoids
Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
An implicit operation of a class of similar algebras is a collection of first order definable partial functions on the members of that is globally preserv…
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…