As is known, there exist 2 ω quasivarieties of differential groupoids and unary algebras with no independent quasi-equational basis. In the present article, we show that there exist 2 ω such quasivarieties with an ω-independent quasi-equational basis. We also find a recursive independent quasi-equational basis for the intersection of those quasivarieties.
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА