Triangular irreducibility of congruences in quasivarieties

DOI10.1007/s00012-014-0274-3zbMath1294.08003OpenAlexW2057711431WikidataQ59397631 ScholiaQ59397631MaRDI QIDQ2450841

Janusz Czelakowski

Publication date: 23 May 2014

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

Full work available at URL: https://doi.org/10.1007/s00012-014-0274-3

zbMATH Keywords

quasivarietyrelative congruence\(m\)-triangularily meet-irreducible relative congruenceequationally definable \(m\)-triangular meets of (relatively) principal congruencesfinitely generated quasivariety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Quasivarieties (08C15) Subdirect products and subdirect irreducibility (08B26)

Cites Work

• Unnamed Item
• Unnamed Item
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• Finite equational bases for congruence modular varieties
• Finite basis problems and results for quasivarieties
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• General theory of the commutator for deductive systems. I: Basic facts
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• The weak extension property and finite axiomatizability for quasivarieties
• Residually Small Varieties with Modular Congruence Lattices
• Commutator Theory for Relatively Modular Quasivarieties
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Quasi-identities of congruence-distributive quasivarieties of algebras
• Protoalgebraic logics
• Extending Baker's theorem