On directed and finitely partitionable bases for quasi-identities
Keywords:
quasivariety, basis for quasi-identitiesAbstract
We prove that, under certain conditions on a quasivariety, there exists continuum many subquasivarieties of this quasivariety with both finitely partitionable (independent) and directed bases for quasi-identities. We also notice that such a situation is impossible for bases for anti-identities.
Published
2023-08-03
Issue
Section
Mathematical logic, algebra and number theory