Z distributivity kongruencí vyplývá konečná šířka

Abstrakt

Ukážeme, že omezující jazyk kompatibilní s Jónssonovými termy (ekvivalentně, asociovaný s algebrou, která generuje kongruenčně distributivní varietu) definuje problém splnitelnosti omezení řešitelný testem lokální konzistence.

Klíčová slova

• Congruence
• distributivity
• implies
• bounded
• width