Базисна еквівалентність у класі унiверсальних булевих алгебр

Abstract

У роботі вводиться поняття базисної еквівалентності, будується фактор-решітка класу алгебр M2 , встановлюється розташування вершин у фактор-решітці по базисній еквівалетності класу M2. Будуються сигнатурні графи суміжних класів алгебри M2. Досліджується 265 елементна базисна решітка фактор класу M12 /σ. Доводиться теорема про потужність класу М2 /σ.

Keywords

• базисна еквівалентність
• базисна решітка
• сигнатурний граф суміжних класів