Об эквациональных теориях классов конечных полугрупп

Доказывается существование бесконечной последовательности конечно базируемых многообразий полугрупп $\mathfrak A_1\subset\mathfrak B_1\subset\mathfrak A_2\subset\mathfrak B_2 \subset\dotsb$ такой, что для всех $i$ эквациональная теория многообразия $\mathfrak A_i$ и класса $\mathfrak A_i\cap\mathfrak F$ всех конечных полугрупп из многообразия $\mathfrak A_i$ неразрешима, а эквациональная теория многообразия $\mathfrak B_i$ и класса $\mathfrak B_i\cap\mathfrak F$ всех конечных полугрупп из многообразия $\mathfrak B_i$ разрешима. Строится бесконечная последовательность конечно базируемых многообразий полугрупп $\mathfrak A_1\supset\mathfrak B_1\supset\mathfrak A_2\supset\mathfrak B_2\supset\dotsb$ такая, что для всех $i$ эквациональная теория многообразия $\mathfrak A_i$ и класса $\mathfrak A_i\cap\mathfrak F$ всех конечных полугрупп из многообразия $\mathfrak A_i$ неразрешима, а эквациональная теория многообразия $\mathfrak B_i$ и класса $\mathfrak B_i\cap\mathfrak F$ всех конечных полугрупп из многообразия $\mathfrak B_i$ разрешима.