Varieties with existentially definable factor congruences
From MaRDI portal
Publication:2136296
DOI10.1007/S00012-021-00720-XOpenAlexW4224261054MaRDI QIDQ2136296
Mariana Badano, Diego J. Vaggione, Miguel A. Campercholi
Publication date: 10 May 2022
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-021-00720-x
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)
Cites Work
- Unnamed Item
- Central elements in varieties with the Fraser-Horn property
- Varieties with equationally definable factor congruences. II
- 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
- THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY
This page was built for publication: Varieties with existentially definable factor congruences