О независимо базируемых многообразиях моноидов

Доказано, что существует конечно базируемое многообразие моноидов $\mathfrak Z$, такое что не существует алгоритма, определяющего по произвольной рекурсивной системе полугрупповых тождеств, обладает ли многообразие моноидов, заданное этой системой в многообразии $\mathfrak Z$, независимым базисом. Не существует алгоритма, определяющего по произвольной бесконечной рекурсивной системе полугрупповых тождеств, будет ли многообразие моноидов, заданное этой системой тождеств, конечно базируемо.