Equational definability of (complementary) central elements

DOI10.1142/S0218196716500211MaRDI QIDQ2814678zbMATH OpenFDO

Authors Mariana V. Badano, Diego J. Vaggione

Publication date 22 June 2016

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196716500211

zbMATH Keywords

Boolean factor congruencescentral elementdecomposition operation

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Interpolation, preservation, definability (03C40) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• Varieties with equationally definable factor congruences
• The fundamental theorem of central element theory
• Existentially definable factor congruences
• Varieties with equationally definable factor congruences. II
• Central elements in varieties with the Fraser-Horn property

Cites work

• Existentially definable factor congruences
• From λ-Calculus to Universal Algebra and Back
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• On semi-Boolean-like algebras.
• P-algebras, an abstraction from Post algebras
• Varieties with definable factor congruences

Cited in

(6)

• Coextensive varieties via central elements
• Varieties with existentially definable factor congruences
• Varieties with equationally definable factor congruences. II
• Varieties with equationally definable factor congruences
• The fundamental theorem of central element theory
• From coextensive varieties to the Gaeta topos

This page was built for publication: Equational definability of (complementary) central elements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2814678)