Finite bases for finitely generated, relatively congruence distributive quasivarities
From MaRDI portal
Publication:1179764
DOI10.1007/BF01191083zbMath0741.08009OpenAlexW192510524MaRDI QIDQ1179764
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
finite axiomatizabilityfinitely generated congruence distributive varietiesrelatively congruence distributive quasivariety
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