The weak extension property and finite axiomatizability for quasivarieties
Wiesław Dziobiak, Miklós Maróti, Ralph McKenzie, Anvar M. Nurakunov · Fundamenta Mathematicae · 2009
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, ${\rm RSD}(\wedge)$, and the weak extension property, ${\rm WEP}$. We prove that if ${{{\cal K}}}\subseteq {{{\ca