Congruence permutability in quasivarieties
Logic
2025-12-11 v1
Abstract
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.
Cite
@article{arxiv.2512.09064,
title = {Congruence permutability in quasivarieties},
author = {Luca Carai and Miriam Kurtzhals and Tommaso Moraschini},
journal= {arXiv preprint arXiv:2512.09064},
year = {2025}
}