Varieties with equationally definable factor congruences. II
From MaRDI portal
Publication:2407971
DOI10.1007/s00012-017-0434-3zbMath1376.03037OpenAlexW2590546754MaRDI QIDQ2407971
Mariana 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
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)
Related Items
Cites Work
- Unnamed Item
- Semantical conditions for the definability of functions and relations
- Central elements in varieties with the Fraser-Horn property
- Varieties with equationally definable factor congruences
- Equational definability of (complementary) central elements
- Varieties with definable factor congruences
- Modular varieties with the Fraser-Horn property
- Existentially Definable Factor Congruences