Advanced Search

Let $L$ be an MS-algebra with congruence permutable skeleton. We prove that solving a system of congruences $({\theta }_1,...,{\theta }_n;x_1,...,x_n)$ in $L$ can be reduced to solving the restriction of the system to the skeleton of $L$, plus solving the restrictions of the system to the intervals $[x_1,{\overline{\overline{x}}}_1],\cdots ,[x_n,{\overline{\overline{x}}}_n].$