2025/12/09 by Luca Carai, Carai, Luca, Miriam Kurtzhals +3
Computer Science · Mathematics · #Advanced Algebra and Logic #Holomorphic and Operator Theory #Advanced Combinatorial Mathematics
paper · pdf · doi:10.48550/arxiv.2512.09064
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 this note is to state it explicitly, together with a telegraphic proof.