1 problem

0 votes0 replies1 view
The HFB conjecture for the variety $\mathbb Q^1 \vee \mathbb L_3^1 \vee \mathbb R_3^1$
HFB conjecture. The variety $\mathbb Q^1 \vee \mathbb L_3^1 \vee \mathbb R_3^1$ is hereditarily finitely based (HFB).
Conjectureopenaperiodic-monoids finite-basis-problem semigroup-varietiesarXiv posted 2 days ago

The HFB conjecture for the variety Q1∨L31∨R31\mathbb Q^1 \vee \mathbb L_3^1 \vee \mathbb R_3^1Q1∨L31​∨R31​