Triangular irreducibility of congruences in quasivarieties
From MaRDI portal
Publication:2450841
DOI10.1007/s00012-014-0274-3zbMath1294.08003WikidataQ59397631 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
quasivariety; relative congruence; \(m\)-triangularily meet-irreducible relative congruence; equationally definable \(m\)-triangular meets of (relatively) principal congruences; finitely generated quasivariety
08B05: Equational logic, Mal'tsev conditions
08A30: Subalgebras, congruence relations
08C15: Quasivarieties
08B26: Subdirect products and subdirect irreducibility
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