加载中…
For every , we evaluate the smallest such that the congruence inclusion $\alpha (\beta \circ_n \gamma ) \subseteq \alpha \beta \circ_{k} \alpha \gamma $ holds in a variety of reducts of lattices introduced by K. Baker. We also study varieties with a near-unanimity term and discuss identities dealing with reflexive and admissible relations.

生成讲解博客的中文版本

生成AI智能校验的中文版本