Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр

Ранее автору удалось доказать, что существует лишь конечное число многообразий гейтинговых алгебр, обладающих проективным свойством Бета, и найти исчерпывающий список этих многообразий. Проективное свойство Бета эквивалентно свойству сильной сюръективности эпиморфизмов SES. Доказывается, что проективное свойство Бета и SES разрешимы на классе многообразий гейтинговых алгебр.