Finite bases for finitely generated, relatively congruence distributive quasivarities

DOI10.1007/BF01191083zbMath0741.08009OpenAlexW192510524MaRDI QIDQ1179764

Wiesław Dziobiak

Publication date: 27 June 1992

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01191083

zbMATH Keywords

finite axiomatizabilityfinitely generated congruence distributive varietiesrelatively congruence distributive quasivariety

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15) Axiomatic model classes (08C10)

Related Items

Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I ⋮ A non-finitely based quasi-variety of De Morgan algebras ⋮ Finite basis problems and results for quasivarieties ⋮ Quasivarieties with definable relative principal subcongruences

Cites Work

• Unnamed Item
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Baker's finite basis theorem
• On the structure of varieties with equationally definable principal congruences. I
• Weak (projective) radius and finite equational bases for classes of lattices
• A proof of Baker's finite-base theorem on equational classes generated by finite elements of congruence distributive varieties
• Finitely generated congruence distributive quasivarieties of algebras
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• A Note on the Implicational Class Generated by a Class of Structures
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties
• Relatively congruence distributive subquasivarieties of a congruence modular variety
• Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras
• Algebras Whose Congruence Lattices are Distributive.
• Equational axioms for classes of lattices