On finitely based varieties of algebras

DOI10.4064/cm-42-1-255-261zbMath0427.08003OpenAlexW1039618327MaRDI QIDQ3863932

Bjarni Jónsson

Publication date: 1979

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/cm-42-1-255-261

zbMATH Keywords

congruence latticesequational classvariety of algebrasfinite set of identitiesalgebras of finitary typealgebras with definable principal congruencesfinitely-based variety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Related Items

The variety generated by \(\mathbb {A}(\mathcal {T})\) -- two counterexamples ⋮ Congruence meet-semidistributive locally finite varieties and a finite basis theorem ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Ultraproducts preserve finite subdirect reducibility ⋮ Universal algebraic methods for non-classical logics ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Congruence-distributive varieties of algebras ⋮ Universal algebras ⋮ Tribute to Bjarni Jónsson ⋮ Quasivarieties with definable relative principal subcongruences