Сложность решеток квазимногообразий. II
Аннотация
We prove that if a quasivariety $\mathbf{K}$ contains a finite $\mathrm{B}^\ast$-class relative to some subquasivariety and some variety then $\mathbf{K}$ contains continuum many $Q$-universal non-profinite subquasivarieties having an independent quasi-equational basis as well as continuum many
$Q$-universal non-profinite subquasivarieties having no such basis.
Опубликован
2024-01-28
Выпуск
Раздел
МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ