Varieties with equationally definable factor congruences. II

DOI10.1007/S00012-017-0434-3zbMATH Open1376.03037OpenAlexW2590546754MaRDI QIDQ2407971FDOQ2407971

Authors: Mariana V. Badano, Diego J. Vaggione 

Publication date: 9 October 2017

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

Full work available at URL: https://doi.org/10.1007/s00012-017-0434-3

Recommendations

• Varieties with equationally definable factor congruences
• Existentially definable factor congruences
• Definability of principal congruences in equivalential algebras
• Varieties with definable factor congruences
• Equational definability of (complementary) central elements

zbMATH Keywords

central elementBoolean factor congruencesequationally definable factor congruences

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Title not available (Why is that?)
• Semantical conditions for the definability of functions and relations
• Varieties with equationally definable factor congruences
• Varieties with definable factor congruences
• Modular varieties with the Fraser-Horn property
• Central elements in varieties with the Fraser-Horn property
• Equational definability of (complementary) central elements
• Existentially Definable Factor Congruences

Cited In (3)

• Varieties with existentially definable factor congruences
• Varieties with equationally definable factor congruences
• Varieties with definable factor congruences

This page was built for publication: Varieties with equationally definable factor congruences. II

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