Finitely generated congruence distributive quasivarieties of algebras
From MaRDI portal
Publication:3351421
DOI10.4064/fm-133-1-47-57zbMath0728.08011OpenAlexW902596717MaRDI QIDQ3351421
Publication date: 1989
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211777
finite axiomatizabilityquasiidentitiescongruence distributive quasivarietyfinitely generated quasivariety
Model-theoretic algebra (03C60) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05)
Related Items
Identities and quasi-identities of pointed algebras, Relative congruence formulas and decompositions in quasivarieties, Transfer theorems for finitely subdirectly irreducible algebras, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, Properties not retained by pointed enrichments of finite lattices, Boolean representation of bounded BCK-algebras, Finite bases for finitely generated, relatively congruence distributive quasivarities, Inconsistency lemmas in algebraic logic, Characterization of relatively distributed quasivarieties of algebras, Fragments of R-mingle, A non-finitely based quasi-variety of De Morgan algebras, Finite basis problems and results for quasivarieties, Commutator Theory for Relatively Modular Quasivarieties, Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties