No label defined (Q4516982)

An algebra \(\mathcal A\) with 0 is called locally coherent if, for each \(\theta\in \text{Con }\mathcal A\) and every subalgebra \(\mathcal B\) of \(\mathcal A\), if \(B\) contains \([b]_{\theta}\) for some \(b\in B\) then \([0]_\theta\subseteq B\). An algebra \(\mathcal A\) with 0 is called locally regular if, for all \(\theta,\phi\in \text{Con }\mathcal A\), if \([a]_\theta=[a]_\phi\) for some \(a\in A\) then \([0]_\theta=[0]_\phi\). For an algebra \(\mathcal A\) with 0, the property for \(\mathcal A\) to have polynomially accessible classes is defined. For a variety \(\mathcal V\) with 0, it is proven that \(\mathcal V\) is locally coherent if and only if \(\mathcal V\) is locally regular and has polynomially accessible classes. For the entire collection see [Zbl 0932.00008].