Non-covering in the interpretability lattice of equational theories
From MaRDI portal
Publication:1802249
DOI10.1007/BF01196089zbMath0802.08004MaRDI QIDQ1802249
Stanislaw Świerczkowski, Ralph McKenzie
Publication date: 12 December 1994
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01196089
08B05: Equational logic, Mal'tsev conditions
03C05: Equational classes, universal algebra in model theory
Related Items
Cites Work