scientific article; zbMATH DE number 1533633
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].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4516982)
