Для исследования проблемы конечной аксиоматизируемости было выделено понятие формульной определимости пересечения главных конгруэнций, которое является центральной частью доказательств известных теорем о конечной аксиоматизируемости. Доказано существование конечных расширений конечных решеток по свойствам булевых алгебр. Основным методом исследования проблем является метод ограничений на решетки (относительных) конгруэнций алгебр. Данные исследования применены для исследования белков вирусов растений.*
