Finitely generated congruence distributive quasivarieties of algebras

DOI10.4064/fm-133-1-47-57zbMath0728.08011OpenAlexW902596717MaRDI QIDQ3351421

Wiesław Dziobiak

Publication date: 1989

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211777

zbMATH Keywords

finite axiomatizabilityquasiidentitiescongruence distributive quasivarietyfinitely generated quasivariety

Mathematics Subject Classification ID

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