Proves non-SSCpl for CEP quasivarieties generated by finite algebras with infinite irreducible algebra, SSCpl iff tabular for congruence meet-semidistributive varieties, and tabular subvarieties are strongly primitive in primitive CD varieties of finite type.
Grätzer (2008): Universal algebra, second edition
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Recognizable languages in free many-sorted algebras are regular under finitary assumptions.
citing papers explorer
-
On Strong Structural Completeness of Varieties and Quasivarieties
Proves non-SSCpl for CEP quasivarieties generated by finite algebras with infinite irreducible algebra, SSCpl iff tabular for congruence meet-semidistributive varieties, and tabular subvarieties are strongly primitive in primitive CD varieties of finite type.
-
A Kleene theorem for free many-sorted algebras
Recognizable languages in free many-sorted algebras are regular under finitary assumptions.