Об одном дискриминаторном многообразии алгебр Гейтинга с инволюцией

Определяется и изучается многообразие $HRI$ алгебр Гейтинга с инволюцией (т.е. решеточным антиизоморфизмом порядка $2$), в которых операция инволюции на регулярных элементах совпадает с булевым дополнением. Дается внутренняя характеристика подпрямо неразложимых алгебр многообразия $HRI$, из которой следует, что $HRI$ полупросто и существует $HRI$-полином, являющийся для каждой подпрямо неразложимой алгебры из $HRI$ тернарным дискриминатором $t(a,b,c)=\begin{cases}a,&a\ne b,\\ c,&a=b.\end{cases}$ Доказывается, что мощность решетки подмногообразий $HRI$ равна $2^{\omega_0}$. Исследуется поведение понятия инъективности в подмногообразиях $HRI$, в частности, показано, что многообразие $v\subseteq HRI$ инъективно полно, если и только если $v$ порождается конечной подпрямо неразложимой алгеброй из $HRI$.