Triangular irreducibility of congruences in quasivarieties
Publication:2450841
DOI10.1007/s00012-014-0274-3zbMath1294.08003OpenAlexW2057711431WikidataQ59397631 ScholiaQ59397631MaRDI QIDQ2450841
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
quasivarietyrelative congruence\(m\)-triangularily meet-irreducible relative congruenceequationally definable \(m\)-triangular meets of (relatively) principal congruencesfinitely generated quasivariety
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
This page was built for publication: Triangular irreducibility of congruences in quasivarieties