The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

DOI10.1007/978-3-319-74772-9_5zbMath1459.03035OpenAlexW2793518085MaRDI QIDQ4586415

Janusz Czelakowski

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_5

zbMATH Keywords

quasivarietyconsequence operationcongruencecommutator equationthe equationally-defined commutator

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Abstract algebraic logic (03G27)

Cites Work

• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• A proof of Lyndon's finite basis theorem
• The saga of the high school identities
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Commutator Theory for Relatively Modular Quasivarieties
• Pure Compactifications in Quasi-Primal Varieties
• The Equationally-Defined Commutator
• Tarski's High School Identities
• Identities in Two-Valued Calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras